Originalsprache | Englisch |
---|---|
Seiten (von - bis) | 279-335 |
Seitenumfang | 57 |
Fachzeitschrift | Formal Methods in System Design |
Volume | 3 |
Issue | 54 |
DOIs | |
Publikationsstatus | Veröffentlicht - 2019 |
Research Field
- Dependable Systems Engineering
Cesar Sanchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci, Domenico Bianculli, Christian Colombo, Ylies Falcone, Adrian Francalanza, Srdan Krstic, Joao M. Lourenco, Dejan Nickovic, Gordon J. Pace, Jose Rufino, Julien Signoles, Dmitriy Traytel, Alexander Weiss
Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung
Originalsprache | Englisch |
---|---|
Seiten (von - bis) | 279-335 |
Seitenumfang | 57 |
Fachzeitschrift | Formal Methods in System Design |
Volume | 3 |
Issue | 54 |
DOIs | |
Publikationsstatus | Veröffentlicht - 2019 |