Language: English
Help
回圖書館首頁
手機版館藏查詢
Login
Languages
Jump To : Overview | Titles | Subjects

Fitzgerald, John.

Overview
Works: 1 works in 2 publications in 1 languages
Titles
Collaborative design for embedded systems = co-modelling and co-simulation / by: Fitzgerald, John.; Larsen, Peter Gorm.; Verhoef, Marcel.; SpringerLink (Online service) (Electronic resources)
FM 2016 = formal methods : 21st International Symposium, Limassol, Cyprus, November 9-11, 2016 : proceedings / by: International Symposium of Formal Methods Europe (2016 :); Fitzgerald, John.; SpringerLink (Online service) (Electronic resources)
FME '97, industrial applications and strengthened foundations of formal methods = 4th International Symposium of Formal Methods, Europe, Graz, Austria, September 15-19, 1997 : proceedings/ by: Fitzgerald, John.; Jones, Cliff B.; Lucas, Peter.; SpringerLink (Online service); International Symposium of Formal Methods Europe (1997 :) (Language materials, printed)
Validated Designs for Object-oriented Systems by: 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: Fitzgerald, John.; Hayes, Ian J.; Tarlecki, Andrzej.; SpringerLink (Online service); International Symposium of Formal Methods Europe (2005 :) (Language materials, printed)
 
 
Change password
Login