Projekte pro Jahr
Originalsprache | englisch |
---|---|
Titel | Tests and Proofs - 13th International Conference, {TAP} 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9-11, 2019, Proceedings |
Herausgeber (Verlag) | Springer |
Seiten | 93-111 |
DOIs | |
Publikationsstatus | Veröffentlicht - 2019 |
Publikationsreihe
Name | Lecture Notes in Computer Science |
---|---|
Band | 11823 |
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
Aktivitäten
- 1 Vortrag bei Konferenz oder Fachtagung
-
Predicting and Testing Latencies with Deep Learning: an IoT Case Study
Bernhard Aichernig (Redner/in)
10 Okt. 2019Aktivität: Vortrag oder Präsentation › Vortrag bei Konferenz oder Fachtagung › Science to science