Butler, Michael.

概要

作品:	0 作品在 4 項出版品 1 種語言

書目資訊

FM 2011formal methods : 17th international symposium on formal methods, Limerick, Ireland, June 20-24, 2011 : proceedings / by: (1998 :); Butler, Michael.; Schulte, Wolfram.; SpringerLink (Online service) (書目-電子資源)

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

Rigorous Engineering of Fault-Tolerant Systems by: (1998 :); Butler, Michael.; SpringerLink (Online service) (書目-電子資源)

Integrated formal methodsThird International Conference, IFM 2002, Turku, Finland, May 15-18, 2002 : proceedings / by: (1998 :); Butler, Michael.; Petre, Luigia.; Sere, Kaisa.; SpringerLink (Online service) (書目-電子資源)

Methods, models and tools for fault tolerance by: Butler, Michael.; SpringerLink (Online service) (書目-電子資源)

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

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

主題