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