Distributed Real-Time Emulation of Formally-Defined Patterns for Safe Medical Device Control
Safety of medical devices and of their interoperation is an unresolved issue causing severe and sometimes deadly accidents for patients with shocking frequency. Formal methods, particularly in support of highly reusable and provably safe patterns which can be instantiated to many device instances ca...
Guardat en:
| Autors principals: | , |
|---|---|
| Format: | Artigo |
| Idioma: | Inglês |
| Publicat: |
Open Publishing Association
2010-09-01
|
| Col·lecció: | Electronic Proceedings in Theoretical Computer Science |
| Accés en línia: | http://arxiv.org/pdf/1009.4266v1 |
| Etiquetes: |
Sense etiquetes, Sigues el primer a etiquetar aquest registre!
|