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)
Start date
13-10-2008
End date
15-10-2008
Location
Griechenland
Country
Event format Veranstaltungsformat
On Site
Results 1-3 of 3 (Search time: 0.002 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Kühn, Eva ; Mordinyi, Richard ; Schreiber, Christian ; Margaria, Tiziana ; Steffen, Bernhard | An Extensible Space-Based Coordination Approach for Modeling Complex Patterns in Large Systems, | Konferenzbeitrag Inproceedings  | 2008 | |
| 2 | Wenzel, Ingomar ; Kirner, Raimund ; Rieder, Bernhard ; Puschner, Peter | Measurement-Based Timing Analysis | Konferenzbeitrag Inproceedings | 2008 | |
| 3 | Mittermayr, Robert ; Blieberger, Johann | Static Partial-Order Reduction of Concurrent Systems in Polynomial Time | Konferenzbeitrag Inproceedings | 2008 |