Incremental development of a distributed real-time model of a cardiac pacing system using VDM /
Macedo, H. D.(Hugo D.)
Larsen, P. G.(Peter Gorm),1964-
Fitzgerald, John,1965-
University of Newcastle upon Tyne.School of Computing Science.
Newcastle upon Tyne : University of Newcastle upon Tyne, Computing science,
2007.
Title from cover.
"November, 2007"--Cover.
Includes bibliographical references.
Software engineering.
Computer software
Real-time data processing.
Formal methods (Computer science)