Fitzgerald, John.
Overview
Works: | 0 works in 2 publications in 1 languages |
---|
Titles
FM 2016formal methods : 21st International Symposium, Limassol, Cyprus, November 9-11, 2016 : proceedings /
by:
(1998 :); Fitzgerald, John.; SpringerLink (Online service)
(Electronic resources)
FM 2005: Formal MethodsInternational Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings /
by:
(1998 :); Fitzgerald, John.; Hayes, Ian J.; SpringerLink (Online service); Tarlecki, Andrzej.
(Electronic resources)
Collaborative design for embedded systemsco-modelling and co-simulation /
by:
Fitzgerald, John.; Larsen, Peter Gorm.; SpringerLink (Online service); Verhoef, Marcel.
(Electronic resources)
FME '97, industrial applications and strengthened foundations of formal methods4th International Symposium of Formal Methods, Europe, Graz, Austria, September 15-19, 1997 : proceedings /
by:
(1998 :); Fitzgerald, John.; Jones, Cliff B.; Lucas, Peter.; SpringerLink (Online service)
(Electronic resources)
Subjects
Software engineering
Mathematical Logic and Formal Languages.
Software Engineering.
Discrete Mathematics in Computer Science
Logics and Meanings of Programs.
Computer Engineering.
Computer software
Management of Computing and Information Systems.
Programming Techniques.
Computation by Abstract Devices.
Computational complexity
Computer Science
Formal methods (Computer science)
System design
Programming Languages, Compilers, Interpreters.
Special Purpose and Application-Based Systems.
Software Engineering/Programming and Operating Systems
Circuits and Systems.
Embedded computer systems
Computer Science.
Simulation and Modeling.
Software Engineering