Butler, Michael.

概要

作品:	3 作品在 3 項出版品 1 種語言

書目資訊

Methods, models and tools for fault tolerance by: Butler, Michael.; SpringerLink (Online service) (書目-語言資料,印刷品)

Abstract state machines, Alloy, B, TLA, VDM, and Z = 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018 : proceedings / by: ABZ (Conference) (2018 :); Butler, Michael.; SpringerLink (Online service) (書目-電子資源)

Formal methods and software engineering = 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015 : proceedings / by: Butler, Michael.; Conchon, Sylvain.; Zaidi, Fatiha.; SpringerLink (Online service) (書目-電子資源)

Integrated formal methods = Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002 : proceedings / by: Butler, Michael.; Petre, Luigia.; Sere, Kaisa.; SpringerLink (Online service); International Conference on Integrated Formal Methods (2002 :) (書目-語言資料,印刷品)

Abstract state machines, Alloy, B, TLA, VDM, and Z = 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016 : proceedings / by: Butler, Michael.; SpringerLink (Online service) (書目-電子資源)

主題