Projects per year
Original language | English |
---|---|
Title of host publication | Formal Modeling and Analysis of Timed Systems - 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019, Proceedings |
Publisher | Springer |
Pages | 216 - 235 |
Number of pages | 20 |
DOIs | |
Publication status | Published - 2019 |
Event | 17th International Conference on Formal Modeling and Analysis of Timed Systems - Amsterdam, Netherlands Duration: 27 Aug 2019 → 29 Aug 2019 |
Publication series
Name | Lecture Notes in Computer Science |
---|---|
Volume | 11750 |
Conference
Conference | 17th International Conference on Formal Modeling and Analysis of Timed Systems |
---|---|
Abbreviated title | FORMATS 2019 |
Country/Territory | Netherlands |
City | Amsterdam |
Period | 27/08/19 → 29/08/19 |
Fields of Expertise
- Information, Communication & Computing
Projects
- 1 Finished
-
Dependable Internet of Things
Boano, C. A., Kubin, G., Bloem, R., Horn, M., Pernkopf, F., Zakany, N., Mangard, S., Witrisal, K., Römer, K. U., Aichernig, B., Bösch, W., Baunach, M. C., Tappler, M., Malenko, M., Weiser, S., Eichlseder, M., Leitinger, E., Grosinger, J., Großwindhager, B., Ebrahimi, M., Alothman Alterkawi, A. B., Knoll, C., Teschl, R., Saukh, O., Rath, M., Steinberger, M., Steinbauer-Wagner, G. & Tranninger, M.
1/01/16 → 31/03/22
Project: Research project