Originalsprache | Englisch |
---|---|
Seiten (von - bis) | 83-112 |
Seitenumfang | 30 |
Fachzeitschrift | Formal Methods in System Design |
Publikationsstatus | Veröffentlicht - 2018 |
Research Field
- Dependable Systems Engineering
Stefan Jaksic, Ezio Bartocci, Radu Grosu, Thang Nguyen, Dejan Nickovic
Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung
Originalsprache | Englisch |
---|---|
Seiten (von - bis) | 83-112 |
Seitenumfang | 30 |
Fachzeitschrift | Formal Methods in System Design |
Publikationsstatus | Veröffentlicht - 2018 |