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

Hugo Daniel Macedo, Peter Gorm Larsen, John S. Fitzgerald

Browse the full FM paper archive.