Heterogeneous Assertion-Based Verification for Medical Devices Development

DSpace Repository

Heterogeneous Assertion-Based Verification for Medical Devices Development

Author: Lämmermann, Stefan; Pielawa, Lukas; Burger, Andreas; Schlemminger, Jan; Ruf, Jürgen; Kropf, Thomas; Rosenstiel, Wolfgang; Hein, Andreas
Tübinger Autor(en):
Lämmermann, Stefan
Ruf, Jürgen
Kropf, Thomas
Rosenstiel, Wolfgang
Published in: Proceedings SASIMI (2012), Bd. , S. 211-216
Language: English
Full text: http://www.researchgate.net/profile/Andreas_Burger3/publication/259465146_Heterogeneous_Assertion-Based_Verification_for_Medical_Devices_Development/links/0a85e52ddd1610b68b000000.pdf
DDC Classifikation: 004 - Data processing and computer science
Dokumentart: Artikel
Konferenzveröffentlichung
Show full item record

This item appears in the following Collection(s)