| Original language | English |
|---|---|
| Title of host publication | 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 |
| Publisher | Springer |
| Pages | 93-111 |
| DOIs | |
| Publication status | Published - 2019 |
Publication series
| Name | Lecture Notes in Computer Science |
|---|---|
| Volume | 11823 |
Fields of Expertise
- Information, Communication & Computing
Projects
- 1 Finished
-
Dependable Internet of Things
Pernkopf, F. (Contact person), Zakany, N. (Contact person), Eichlseder, M. (Contact person), Saukh, O. (Contact person), Mangard, S. (Contact person), Steinbauer-Wagner, G. (Contact person), Knoll, C. (Attendee / Assistant), Tranninger, M. (Attendee / Assistant), Römer, K. U. (Consortium manager resp. coordinator of internal research units), Rath, M. (Attendee / Assistant), Kubin, G. (Contact person), Horn, M. (Contact person), Tappler, M. (Attendee / Assistant), Bloem, R. (Consortium manager resp. coordinator of internal research units), Weiser, S. (Attendee / Assistant), Leitinger, E. (Contact person), Ebrahimi, M. (Attendee / Assistant), Aichernig, B. (Contact person), Malenko, M. (Attendee / Assistant), Steinberger, M. (Contact person), Großwindhager, B. (Attendee / Assistant), Baunach, M. C. (Contact person), Witrisal, K. (Contact person), Teschl, R. (Contact person), Boano, C. A. (Contact person), Alothman Alterkawi, A. B. (Attendee / Assistant), Bösch, W. (Contact person) & Grosinger, J. (Contact person)
1/01/16 → 31/03/22
Project: Research project
Activities
- 1 Talk at conference or symposium
-
Predicting and Testing Latencies with Deep Learning: an IoT Case Study
Aichernig, B. (Speaker)
10 Oct 2019Activity: Talk or presentation › Talk at conference or symposium › Science to science
Cite this
- APA
- Standard
- Harvard
- Vancouver
- Author
- BIBTEX
- RIS