Timing Constraints Validation Using Uppaal. Architecture and Design of Distributed Embedded Systems |
Hongyan Sun
|
| Type | Conference paper [With referee] |
| Conference | IFIP WG10.3 , WG10.4, WG10.5 International Workshop DIPES 2000 |
| Editors | Bernd Kleinjohann |
| Year | 2000 pp. 161-171 |
| Publisher | Kluwer Academic Publishers |
| BibTeX data | [bibtex] |
| IMM Group(s) | Computer Science & Engineering |