Semiformal Verification of Embedded Software in Medical Devices Considering Stringent Hardware Constraints release_wiuwzndkynglpfy6d6gaexg7ne

by Lucas Cordeiro, Bernd Fischer, Huan Chen, Joao Marques-Silva

Published in International Conference on Embedded Software and Systems by IEEE.

2009   p396-403

Archived Files and Locations

application/pdf  281.8 kB
file_5xvk73q3jjgh3gmrtnka6df4eu
eprints.soton.ac.uk (web)
web.archive.org (webarchive)
application/pdf  679.7 kB
file_vq574jvy75gppneymnjbr6mihy
es.sdu.edu.cn (web)
web.archive.org (webarchive)
Read Archived PDF
Preserved and Accessible
Type  paper-conference
Stage   published
Year   2009
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: f9173051-4c34-4ef2-bbce-3335e02f4c09
API URL: JSON