Original language | English |
---|---|
Title of host publication | Formal Modeling and Analysis of Timed Systems, 13th International Conference |
Pages | 288-304 |
Number of pages | 17 |
Publication status | Published - 2015 |
Event | FORMATS 2015 - Duration: 2 Sept 2015 → 4 Sept 2015 |
Conference
Conference | FORMATS 2015 |
---|---|
Period | 2/09/15 → 4/09/15 |
Research Field
- Former Research Field - Digital Safety and Security