- Publikationsdienste
- →
- Universitätsbibliographie
- →
- 7 Mathematisch-Naturwissenschaftliche Fakultät
- →
- Dokumentanzeige « zurück
JavaScript is disabled for your browser. Some features of this site may not work without it.
| Autor(en): | Lämmermann, Stefan; Pielawa, Lukas; Burger, Andreas; Schlemminger, Jan; Ruf, Jürgen; Kropf, Thomas; Rosenstiel, Wolfgang; Hein, Andreas | |
| Tübinger Autor(en): |
|
|
| Erschienen in: |
Proceedings SASIMI
(2012), Bd.
,
S.
211-216 |
|
| Sprache: | Englisch | |
| Referenz zum Volltext: | http://www.researchgate.net/profile/Andreas_Burger3/publication/259465146_Heterogeneous_Assertion-Based_Verification_for_Medical_Devices_Development/links/0a85e52ddd1610b68b000000.pdf | |
| DDC-Klassifikation: | 004 - Informatik | |
| Dokumentart: |
Wissenschaftlicher Artikel Konferenzveröffentlichung |
|
| Zur Langanzeige |