Talks and Poster Presentations (with Proceedings-Entry):
K. Selyunin, S. Jaksic, T. Nguyen, C. Reidl, U. Hafner, E. Bartocci, D. Nickovic, R. Grosu:
"Runtime Monitoring with Recovery of the SENT Communication Protocol";
Talk: CAV 2017: the 29th International Conference on Computer-Aided Verification,
- 2017-07-28; in: "Proc. of CAV 2017: the 29th International Conference on Computer-Aided Verification",
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
Created from the Publication Database of the Vienna University of Technology.