Robust specification of real time components
Publication: Research - peer-review › Conference article in Journal
| Original language | English |
|---|---|
| Book series | Lecture Notes in Computer Science |
| Publication date | 1 Jan 2011 |
| Volume | 6919 LNCS |
| Pages | 129-144 |
| Number of pages | 16 |
| ISSN | 0302-9743 |
| DOIs | |
| State | Published |
Conference
| Conference | 9th International Conference on Formal Modeling and Analysis of Timed Systems |
|---|---|
| Country | Denmark |
| City | Aalborg |
| Period | 21-09-11 → 23-09-11 |
Loading map data...
ID: 65489103