Automatic Abstraction Refinement for Timed Automata
Publikation: Forskning - peer review › Konferenceartikel i proceeding
| Originalsprog | Engelsk |
|---|---|
| Titel | Formal Modeling and Analysis of Timed Systems |
| Antal sider | 15 |
| Udgiver | IEEE Computer Society Press |
| Udgivelsesdato | 2007 |
| Sider | 114-129 |
| Status | Udgivet |
Konference
| Konference | 5th International Conference on Formal Modelling and Analysis of Timed Systems |
|---|---|
| Nummer | 5 |
| Land | Østrig |
| By | Salzburg |
| Periode | 03-10-07 → 05-10-07 |
| Navn | Lecture notes in computer Science |
|---|---|
| Nummer | 4763 |
| ISSN (Trykt) | 0302-9743 |
Indlæser lokationer...
ID: 13824703