Leveraging Applications of Formal Methods, Verification and Validation
Book title Buchtitel
Leveraging Applications of Formal Methods, Verification and Validation
Publisher Herausgeber
Lecture Notes in Computer Science
Place of publishing Erscheinungsort
6416
Subject
Date issued
Results 1-2 of 2 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Barany, Gergö ; Prantl, Adrian | Source-Level Support for Timing Analysis | Konferenzbeitrag Inproceedings  | 2010 | |
| 2 | Mittermayr, Robert ; Blieberger, Johann | Static Partial-Order Reduction of Concurrent Systems in Polynomial Time | Konferenzbeitrag Inproceedings | 2008 |