VIAF

Virtual International Authority File

Search

Fitzgerald, John, 1965-.... NUKAT Center of Warsaw University Library National Library of Latvia Sudoc [ABES], France National Library of the Czech Republic National Diet Library, Japan German National Library Library of Congress/NACO

Fitzgerald, John National Library of the Netherlands ISNI NII (Japan)

John Fitzgerald Wikidata

VIAF ID: 88124512 (Personal)

Permalink: http://viaf.org/viaf/88124512

ISNI: 0000  0001  0996  8577 

Open Section Close Section Preferred Forms

 

 

 

 

Open Section Close Section 4xx's: Alternate Name Forms (15)

Open Section Close SectionWorks

Title Sources
Collaborative design for embedded systems co-modelling and co-simulation Sudoc [ABES], France German National Library
Development of a formalism for modelling and analysis of dynamic reconfiguration of dependable real-time systems, 2008: Library of Congress/NACO
EU Enlargement and Migration : Assessing the Macroeconomic Impacts National Library of the Netherlands
FM 2005 : formal methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005 : proceedings NUKAT Center of Warsaw University Library Sudoc [ABES], France German National Library National Library of the Netherlands Library of Congress/NACO
FME Library of Congress/NACO
Industrial applications and strengthened foundations of formal methods proceedings NUKAT Center of Warsaw University Library Sudoc [ABES], France Library of Congress/NACO German National Library
Modelling systems : practical tools and techniques in software development Sudoc [ABES], France National Diet Library, Japan Library of Congress/NACO
Sofutōea kaihatsu no moderuka gihō National Diet Library, Japan
Theoretical Aspects of Computing - ICTAC 2008 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings Sudoc [ABES], France
Validated designs for object-oriented systems NUKAT Center of Warsaw University Library National Diet Library, Japan Library of Congress/NACO National Library of Latvia xR Extended Titles
VDM++によるオブジェクト指向システムの高品質設計と検証 National Diet Library, Japan
vuidīemu purasupurasu ni yoru obujiekuto shikō shisutemu no kōhinshitsu sekkei to kenshō National Diet Library, Japan
ソフトウェア開発のモデル化技法 NII (Japan) National Diet Library, Japan

Open Section Close Section Selected Co-authors

Open Section Close Section Countries and Regions of Publication (3)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (6)

Open Section Close Section About

Open Section Close Section History of VIAF ID:88124512 (13)