7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2016)

Event name
7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2016)
 
Event type
Event for scientific audience
 
Start date
10-10-2016
End date
14-10-2016
 
Location
Imperial, Corfu
Country
Greece
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Kalajdzic, Kenan ; Jegourel, Cyrille ; Lukina, Anna ; Bartocci, Ezio ; Legay, Axel ; Smolka, Scott A. ; Grosu, Radu Feedback Control for Statistical Model Checking of Cyber-Physical SystemsKonferenzbeitrag Inproceedings 2016
2Nguyen, Thang ; Bartocci, Ezio ; Ničković, Dejan ; Grosu, Radu ; Jaksic, Stefan ; Selyunin, Konstantin The HARMONIA Project: Hardware Monitoring for Automotive Systems-of-SystemsKonferenzbeitrag Inproceedings2016
3Bartocci, Ezio ; Falcone, Yliès Runtime Verification and Enforcement, the (Industrial) Application Perspective (Track Introduction)Konferenzbeitrag Inproceedings2016