Publications

Incremental Development of a Distributed Real-Time Model of a Cardiac Pacing System Using Vdm

AuthID
P-004-38Z

Author(s)

Macedo, HD

Larsen, PG

Fitzgerald, J

Editor(s)

Cuellar, J; Maibaum, T; Sere, K

Document Type

Proceedings Paper

Year published

2008

Published

in FM 2008: FORMAL METHODS, PROCEEDINGS in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 5014, Pages: 181-197 (17)

Conference

15Th International Symposium on Formal Methods, Date: MAY 26-30, 2008, Location: Turku, FINLAND, Sponsors: Abo Akad Univ, Nokia, TUCS, FORTIA, FME, Distributed Syst Design Lab, Stiftelsen Abo Akad Forskiningsinst, Abo Akad Univ, Fac Technol

Indexing