Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
E. Bartocci, Y. Falcone:
"RV-TheToP: Runtime Verification from Theory to the Industry Practice (Track Introduction)";
Vortrag: Proc. of ISoLA 2018: the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice,
Limassol, Cyprus;
05.11.2018
- 09.11.2018; in: "Proc. of ISoLA 2018: the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice",
Springer International Publishing,
11247
(2018),
S. 3
- 8.
Kurzfassung englisch:
This paper introduces the RV-TOP track at ISoLA´18. The purpose of the track is to bring together experts on runtime verification and industry practitioners domains to (i) disseminate advanced research topics (ii) disseminate current industrial challenges and (iii) get RV more attractive to industry and usable in additional application domains. The track consists of eight contributed papers presented during three sessions.
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-030-03427-6_1
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.