Projects per year
| Original language | English |
|---|---|
| Title of host publication | Runtime Verification, 17th International Conference |
| Publisher | Springer International Publishing AG |
| Pages | 50-67 |
| Number of pages | 18 |
| ISBN (Electronic) | 978-3-319-67531-2 |
| ISBN (Print) | 978-3-319-67530-5 |
| DOIs | |
| Publication status | Published - Sept 2017 |
| Event | Runtime Verification, 17th International Conference - Seattle, United States Duration: 13 Sept 2017 → 16 Sept 2017 http://rv2017.cs.manchester.ac.uk/ |
Publication series
| Name | Lecture Notes in Computer Science |
|---|---|
| Publisher | Springer International Publishing AG |
| Volume | 10548 |
| ISSN (Print) | 0302-9743 |
| ISSN (Electronic) | 1611-3349 |
Conference
| Conference | Runtime Verification, 17th International Conference |
|---|---|
| Abbreviated title | RV17 |
| Country/Territory | United States |
| City | Seattle |
| Period | 13/09/17 → 16/09/17 |
| Internet address |
Fields of Expertise
- Information, Communication & Computing
Projects
- 1 Finished
-
Dependable Internet of Things
Boano, C. A. (Co-Investigator (CoI)), Kubin, G. (Co-Investigator (CoI)), Bloem, R. (Co-Investigator (CoI)), Horn, M. (Co-Investigator (CoI)), Pernkopf, F. (Co-Investigator (CoI)), Zakany, N. (Co-Investigator (CoI)), Mangard, S. (Co-Investigator (CoI)), Witrisal, K. (Co-Investigator (CoI)), Römer, K. U. (Co-Investigator (CoI)), Aichernig, B. (Co-Investigator (CoI)), Bösch, W. (Co-Investigator (CoI)), Baunach, M. C. (Co-Investigator (CoI)), Tappler, M. (Co-Investigator (CoI)), Malenko, M. (Co-Investigator (CoI)), Weiser, S. (Co-Investigator (CoI)), Eichlseder, M. (Co-Investigator (CoI)), Leitinger, E. (Co-Investigator (CoI)), Grosinger, J. (Co-Investigator (CoI)), Großwindhager, B. (Co-Investigator (CoI)), Ebrahimi, M. (Co-Investigator (CoI)), Alothman Alterkawi, A. B. (Co-Investigator (CoI)), Knoll, C. (Co-Investigator (CoI)), Teschl, R. (Co-Investigator (CoI)), Saukh, O. (Co-Investigator (CoI)), Rath, M. (Co-Investigator (CoI)), Steinberger, M. (Co-Investigator (CoI)), Steinbauer-Wagner, G. (Co-Investigator (CoI)) & Tranninger, M. (Co-Investigator (CoI))
1/01/16 → 31/03/22
Project: Research project