Proc. of ISoLA 2018: the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice

View Statistics Email Alert RSS Feed

Description

Event name
Proc. of ISoLA 2018: the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice
 
Start date
05-11-2018
End date
09-11-2018
 
Location
Limassol, Cyprus
Country
Europe
 
Event format Veranstaltungsformat
On Site

Publications Publikationen


Results 1-1 of 1 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Bartocci, Ezio ; Falcone, Yliès RV-TheToP: Runtime Verification from Theory to the Industry Practice (Track Introduction)Konferenzbeitrag Inproceedings 2018