VIAF

Virtual International Authority File

Search

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

Fitzgerald, John National Library of the Netherlands ISNI

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 (13)

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 Library of Congress/NACO German National Library National Library of the Netherlands Sudoc [ABES], France
FME Library of Congress/NACO
Industrial applications and strengthened foundations of formal methods Sudoc [ABES], France Library of Congress/NACO German National Library
Modelling systems practical tools and techniques in software development Sudoc [ABES], France Library of Congress/NACO National Diet Library, Japan
Sofutōea kaihatsu no moderuka gihō National Diet Library, Japan
Validated designs for object-oriented systems, c2005: NUKAT Center of Warsaw University Library Library of Congress/NACO National Diet Library, Japan National Library of Latvia
VDM++によるオブジェクト指向システムの高品質設計と検証 National Diet Library, Japan
vuidīemu purasupurasu ni yoru obujiekuto shikō shisutemu no kōhinshitsu sekkei to kenshō National Diet Library, Japan
ソフトウェア開発のモデル化技法 National Diet Library, Japan

Open Section Close Section Selected Co-authors

Open Section Close Section Countries of Publication (3)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (5)

Open Section Close Section About

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