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

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

Cite this

@inproceedings{5e77a4c544164d76a2932bf5600191e6,

title = "Timing Constraints Validation Using Uppaal. Architecture and Design of Distributed Embedded Systems",

author = "Sun, {Hong Yan}",

year = "2000",

language = "English",

pages = "161--171",

booktitle = "IFIP WG10.3 , WG10.4, WG10.5 International Workshop DIPES 2000",

publisher = "Kluwer Academic Publishers",

}

IFIP WG10.3 , WG10.4, WG10.5 International Workshop DIPES 2000. Kluwer Academic Publishers, 2000. p. 161-171.

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review