Incremental Development of a Distributed Real-Time Model of a Cardiac Pacing System Using VDM - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Hugo Daniel Macedo, Peter Gorm Larsen, John S. Fitzgerald. Incremental Development of a Distributed Real-Time Model of a Cardiac Pacing System Using VDM. In Jorge Cuéllar, T. S. E. Maibaum, Kaisa Sere, editors, FM 2008: Formal Methods, 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings. Volume 5014 of Lecture Notes in Computer Science, pages 181-197, Springer, 2008. [doi]

This author has not been identified. Look up 'Hugo Daniel Macedo' in GoogleThis author has not been identified. Look up 'Peter Gorm Larsen' in GoogleThis author has not been identified. Look up 'John S. Fitzgerald' in Google

runs on WebDSL