Language: English
Help
Login
Languages
Jump To : Overview | Titles | Subjects

Butler, Michael.

Overview
Works: 1 works in 4 publications in 1 languages
Titles
Abstract state machines, Alloy, B, TLA, VDM, and Z = 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018 : proceedings / by: SpringerLink (Online service); Butler, Michael.; Workshop on the Preservation of Stability under Discretization ((2001 :) (Language materials, printed)
Theoretical Cybersecurity = Principles and Advanced Concepts / by: Oakley, Jacob G.; Sewell, J. Louis.; Puckett, Matthew.; Butler, Michael.; York, Wayne.; SpringerLink (Online service) (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/aut]
Methods, models and tools for fault tolerance by: SpringerLink (Online service); Butler, Michael. (Language materials, printed)
FM 2011 = formal methods : 17th international symposium on formal methods, Limerick, Ireland, June 20-24, 2011 : proceedings / by: Schulte, Wolfram.; Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Butler, Michael. (Language materials, printed)
Abstract State Machines, Alloy, B, TLA, VDM, and Z = 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings / by: Mashkoor, Atif.; Schewe, Klaus-Dieter.; Biro, Miklos.; Butler, Michael.; SpringerLink (Online service) (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
Formal methods and software engineering = 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015 : proceedings / by: Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Zaidi, Fatiha.; Butler, Michael.; Conchon, Sylvain. (Language materials, printed)
Formal Methods and Software Engineering = 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings / by: Conchon, Sylvain.; Butler, Michael.; SpringerLink (Online service); Zaïdi, Fatiha. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
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); Workshop on the Preservation of Stability under Discretization ((2001 :) (Language materials, printed)
Abstract State Machines, Alloy, B, TLA, VDM, and Z = 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings / by: Raschke, Alexander.; Butler, Michael.; Hoang, Thai Son.; Reichl, Klaus.; SpringerLink (Online service) (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]
 
 
Change password
Login