Testing real-time systems under uncertainty
Publikation: Forskning - peer review › Konferenceartikel i proceeding
| Originalsprog | Engelsk |
|---|---|
| Titel | Formal Methods for Components and Objects : 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers |
| Antal sider | 20 |
| Vol/bind | 6957 |
| Udgivelsessted | Berlin |
| Udgiver | Springer |
| Udgivelsesdato | 2012 |
| Sider | 352-371 |
| ISBN (trykt) | 978-3-642-25270-9 |
| ISBN (elektronisk) | 978-3-642-25271-6 |
| DOI | |
| Status | Udgivet |
Konference
| Konference | 9th International Symposium on Formal Methods for Components and Objects |
|---|---|
| Nummer | 9 |
| Land | Østrig |
| By | Graz |
| Periode | 29-11-10 → 01-12-10 |
| Navn | Lecture Notes in Computer Science |
|---|---|
| Vol/bind | 6957 |
| ISSN (Trykt) | 0302-9743 |
Indlæser lokationer...
ID: 75768229