DSN 2004 Supplemental Volume of the 2004 International Conference on Dependable Systems and Networks
Book title Buchtitel
DSN 2004 Supplemental Volume of the 2004 International Conference on Dependable Systems and Networks
Publisher Herausgeber
IEEE Computer Society
Place of publishing Erscheinungsort
Piscataway, NJ
Results 1-1 of 1 (Search time: 0.002 seconds).
Preview | Authors / Editors | Title | Type | Issue Date | |
---|---|---|---|---|---|
1 | Fenkam, Pascal ; Jazayeri, Mehdi | Towards a Lightweight Formal Approach to Constructing Dependable Event-Based Applications | Konferenzbeitrag Inproceedings ![]() | 2004 |