![](/img/cover-not-exists.png)
[IEEE 2007 Joint Workshop on High Confidence Medical Devices, Software, and Systems and Medical Device Plug-and-Play Interoperability (HCMDSS-MDPnP 2007) - Boston, MA, USA (2007.06.25-2007.06.27)] 2007 Joint Workshop on High Confidence Medical Devices, Software, and Systems and Medical Device Plug-and-Play Interoperability (HCMDSS-MDPnP 2007) - Using Medical Devices to Teach Formal Modeling
Celiku, Orieta, Garlan, DavidYear:
2007
Language:
english
DOI:
10.1109/hcmdss-mdpnp.2007.15
File:
PDF, 348 KB
english, 2007