6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2014)
Event name
6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2014)
Start date
08-10-2014
End date
11-10-2014
Location
Corfu
Country
Event format Veranstaltungsformat
On Site
Subject
Date issued
Results 1-3 of 3 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Barany, Gergö | Integrated Code Motion and Register Allocation | Konferenzbeitrag Inproceedings | 2014 | |
| 2 | Bartocci, Ezio ; Gao, Sicun ; Smolka, Scott A. | Medical Cyber-Physical Systems | Konferenzbeitrag Inproceedings | 2014 | |
| 3 | Grosu, Radu ; Peled, Doron ; Ramakrishnan, C.R. ; Smolka, Scott A. ; Stoller, Scott D. ; Yang, Junxing | Using Statistical Model Checking for Measuring Systems | Konferenzbeitrag Inproceedings | 2014 |