Back to Search Start Over

Using Medical Devices to Teach Formal Modeling.

Authors :
Celiku, O.
Garlan, D.
Source :
2007 Joint Workshop on High Confidence Medical Devices, Software & Systems & Medical Device Plug-&-Play Interoperability (HCMDSS-MDPnP 2007); 2007, p201-203, 3p
Publication Year :
2007

Details

Language :
English
ISBNs :
9780769530819
Database :
Complementary Index
Journal :
2007 Joint Workshop on High Confidence Medical Devices, Software & Systems & Medical Device Plug-&-Play Interoperability (HCMDSS-MDPnP 2007)
Publication Type :
Conference
Accession number :
81368486
Full Text :
https://doi.org/10.1109/HCMDSS-MDPnP.2007.15