Fitzgerald, John.
Overview
| Works: | 1 works in 2 publications in 1 languages | |
|---|---|---|
Titles
FM 2016: Formal Methods = 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings /
by:
SpringerLink (Online service); Fitzgerald, John.; Philippou, Anna.; Heitmeyer, Constance.; Gnesi, Stefania.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
FM 2016 = formal methods : 21st International Symposium, Limassol, Cyprus, November 9-11, 2016 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Fitzgerald, John.; SpringerLink (Online service)
(Language materials, printed)
FM 2005: Formal Methods = International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings /
by:
Hayes, Ian J.; Tarlecki, Andrzej.; SpringerLink (Online service); Fitzgerald, John.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(Language materials, printed)
Validated Designs for Object-oriented Systems
by:
Fitzgerald, John.; SpringerLink (Online service)
(Language materials, printed)
The engineering of digital twins
by:
Gomes, Cláudio.; Larsen, P. G.; Fitzgerald, John.; SpringerLink (Online service)
(Language materials, printed)
Subjects
System design.
Software Engineering.
Mathematical logic.
Formal methods (Computer science)
Object-oriented methods (Computer science)
Software Engineering/Programming and Operating Systems.
Computer Modelling.
Computer logic.
Software engineering.
Computer Science.
Programming Techniques.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Management of Computing and Information Systems.
System design
Cooperating objects (Computer systems)
Cyber-Physical Systems.
Digital twins (Computer simulation)
Computer science.
Management information systems.
Computers.
Discrete Mathematics in Computer Science.
Programming Languages, Compilers, Interpreters.
Computer software
Computation by Abstract Devices.