3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISOLA'08)

Event name
3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISOLA'08)
 
Event type
Event for scientific audience
 
Start date
13-10-2008
End date
15-10-2008
 
Location
Porto Sani
Country
Greece
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Gustafsson, Jan ; Lisper, Björn ; Schordan, Markus ; Ferdinand, Christian ; Gliwa, Peter ; Jersak, Marek ; Bernat, Guillem ALL-TIMES - A European Project on Integrating Timing TechnologyKonferenzbeitrag Inproceedings 2008
2Kühn, Eva ; Mordinyi, Richard ; Schreiber, Christian An Extensible Space-Based Coordination Approach for Modeling Complex Patterns in Large Systems,Konferenzbeitrag Inproceedings 2008
3Wenzel, Ingomar ; Kirner, Raimund ; Rieder, Bernhard ; Puschner, Peter Measurement-Based Timing AnalysisKonferenzbeitrag Inproceedings 2008
4Mittermayr, Robert ; Blieberger, Johann Static Partial-Order Reduction of Concurrent Systems in Polynomial TimeKonferenzbeitrag Inproceedings 2008