Robust specification of real time components
Publikation: Forskning - peer review › Konferenceartikel i tidsskrift
| Originalsprog | Engelsk |
|---|---|
| Bogserie | Lecture Notes in Computer Science |
| Udgivelsesdato | 1 jan 2011 |
| Vol/bind | 6919 LNCS |
| Sider | 129-144 |
| Antal sider | 16 |
| ISSN | 0302-9743 |
| DOI | |
| Status | Udgivet |
Konference
| Konference | 9th International Conference on Formal Modeling and Analysis of Timed Systems |
|---|---|
| Land | Danmark |
| By | Aalborg |
| Periode | 21-09-11 → 23-09-11 |
Indlæser lokationer...
ID: 65489103