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.
Management information systems.
Computers.
Discrete Mathematics in Computer Science.
Computer Science.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Computer software
Computation by Abstract Devices.
Management of Computing and Information Systems.
System design
Cooperating objects (Computer systems)
Digital twins (Computer simulation)
Cyber-Physical Systems.
Computer science.