Fitzgerald, John, 1965-....
Fitzgerald, John
Fitzgerald, John S
John Fitzgerald British computer scientist and Chair of Formal Methods Europe
Fitzgerald, John S., fl. 1997
VIAF ID: 88124512 ( Personal )
Permalink: http://viaf.org/viaf/88124512
Preferred Forms
-
- 100 1 _ ‡a Fitzgerald, John
-
- 100 1 _ ‡a Fitzgerald, John
-
-
-
-
- 100 1 _ ‡a Fitzgerald, John ‡d 1965-
-
-
-
-
- 100 1 _ ‡a Fitzgerald, John, ‡d 1965-
- 100 1 _ ‡a Fitzgerald, John, ‡d 1965-
-
- 100 1 _ ‡a Fitzgerald, John, ‡d 1965-....
- 100 0 _ ‡a John Fitzgerald ‡c British computer scientist and Chair of Formal Methods Europe
4xx's: Alternate Name Forms (17)
Works
Title | Sources |
---|---|
Abstract State Machines, Alloy, B, VDM, and Z : Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings | |
Collaborative Design for Embedded Systems : Co-modelling and Co-simulation | |
Development of a formalism for modelling and analysis of dynamic reconfiguration of dependable real-time systems, 2008: | |
FME '97 : industrial applications and strengthened foundations of formal methods : 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15–19, 1997 : proceedings | |
FME'97 | |
Formal methods 2005 | |
Modelling systems : practical tools and techniques in software development | |
n97085174 | |
Sample attrition in panel data : the role of selection on observables = Attrition dans les données de panel : le rôle de la sélection à partir des observables | |
Sofutōea kaihatsu no moderuka gihō | |
Theoretical aspects of computing : ICTAC 2008 : 5th international colloquium, Istanbul, Turkey, September 1-3, 2008 : proceedings | |
Validated designs for object-oriented systems | |
VDM++によるオブジェクト指向システムの高品質設計と検証 | |
vuidīemu purasupurasu ni yoru obujiekuto shikō shisutemu no kōhinshitsu sekkei to kenshō | |
ソフトウェア開発のモデル化技法 |