![](/img/cover-not-exists.png)
[IEEE 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE) - Austin, TX, USA (2015.9.21-2015.9.23)] 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE) - Formal validation and verification of a medical software critical component
Arcaini, Paolo, Bonfanti, Silvia, Gargantini, Angelo, Mashkoor, Atif, Riccobene, ElviniaYear:
2015
Language:
english
DOI:
10.1109/MEMCOD.2015.7340473
File:
PDF, 799 KB
english, 2015