Projekte pro Jahr
Originalsprache | englisch |
---|---|
Titel | Runtime Verification, 17th International Conference |
Herausgeber (Verlag) | Springer International Publishing AG |
Seiten | 50-67 |
Seitenumfang | 18 |
ISBN (elektronisch) | 978-3-319-67531-2 |
ISBN (Print) | 978-3-319-67530-5 |
DOIs | |
Publikationsstatus | Veröffentlicht - Sept. 2017 |
Veranstaltung | Runtime Verification, 17th International Conference - Seattle, USA / Vereinigte Staaten Dauer: 13 Sept. 2017 → 16 Sept. 2017 http://rv2017.cs.manchester.ac.uk/ |
Publikationsreihe
Name | Lecture Notes in Computer Science |
---|---|
Herausgeber (Verlag) | Springer International Publishing AG |
Band | 10548 |
ISSN (Print) | 0302-9743 |
ISSN (elektronisch) | 1611-3349 |
Konferenz
Konferenz | Runtime Verification, 17th International Conference |
---|---|
Kurztitel | RV17 |
Land/Gebiet | USA / Vereinigte Staaten |
Ort | Seattle |
Zeitraum | 13/09/17 → 16/09/17 |
Internetadresse |
Fields of Expertise
- Information, Communication & Computing
Projekte
- 1 Abgeschlossen
-
Verlaesslichkeit im Internet der Dinge
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
Projekt: Forschungsprojekt