Original language | English |
---|---|
Title of host publication | IFIP WG10.3 , WG10.4, WG10.5 International Workshop DIPES 2000 |
Publisher | Kluwer Academic Publishers |
Publication date | 2000 |
Pages | 161-171 |
Publication status | Published - 2000 |
Timing Constraints Validation Using Uppaal. Architecture and Design of Distributed Embedded Systems
Hong Yan Sun
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review