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,
Heidelberg, Germany;
2017-07-24
- 2017-07-28; in: "Proc. of CAV 2017: the 29th International Conference on Computer-Aided Verification",
Springer,
10426
(2017),
336
- 355.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-319-63387-9_17