Menu
Home
Help and information
About this website
Privacy Policy
H. D. Macedo
1 published title
Incremental development of a distributed real-time model of a cardiac pacing system using VDM
1 edition
University of Newcastle upon Tyne, Computing science
2007
Details