Originalsprache | Englisch |
---|---|
Titel | Formal Modeling and Analysis of Timed Systems, 13th International Conference |
Seiten | 288-304 |
Seitenumfang | 17 |
Publikationsstatus | Veröffentlicht - 2015 |
Veranstaltung | FORMATS 2015 - Dauer: 2 Sept. 2015 → 4 Sept. 2015 |
Konferenz
Konferenz | FORMATS 2015 |
---|---|
Zeitraum | 2/09/15 → 4/09/15 |
Research Field
- Ehemaliges Research Field - Digital Safety and Security