Butler, Michael.
概要
| 作品: | 1 作品在 4 項出版品 1 種語言 | |
|---|---|---|
書目資訊
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 :)
(書目-語言資料,印刷品)
Theoretical Cybersecurity = Principles and Advanced Concepts /
by:
Oakley, Jacob G.; Sewell, J. Louis.; Puckett, Matthew.; Butler, Michael.; York, Wayne.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/aut]
Methods, models and tools for fault tolerance
by:
SpringerLink (Online service); Butler, Michael.
(書目-語言資料,印刷品)
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.
(書目-語言資料,印刷品)
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)
(書目-語言資料,印刷品)
, [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.
(書目-語言資料,印刷品)
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.
(書目-語言資料,印刷品)
, [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 :)
(書目-語言資料,印刷品)
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)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Mathematical logic.
Formal methods (Computer science)
Artificial intelligence.
Data protection.
Computer Communication Networks.
Software engineering.
Programming Techniques.
Computer programming.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Algorithms.
Artificial Intelligence (incl. Robotics)
Artificial Intelligence.
Computers.
Software engineering
Computing Methodologies.
Machine theory
Programming Languages, Compilers, Interpreters.
Software Engineering.
Algorithm Analysis and Problem Complexity.
Computer logic.
Operating Systems.
Computer Science.
Fault-tolerant computing.
Management of Computing and Information Systems.
Machine learning
Computer communication systems.
System design
Fault tolerance (Engineering)
Data and Information Security.
Programming languages (Electronic computers).
Computer software
Computation by Abstract Devices.