A Formal Model of a Car Periphery Supervision System in UPPAAL

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic

Original language	Undefined
Title of host publication	Proc. of Workshop on Discrete Event Systems (WODES'04)
Place of Publication	Reims, France
Pages	-
Number of pages	438
Publication status	Published - 2004
Event	WODES'04: Proc. of Workshop on Discrete Event Systems (WODES'04) - Reims, France Duration: 1 Jan 1900 → …

Keywords

@inproceedings{31498beb659140a79d188e923b2de8a0,

title = "A Formal Model of a Car Periphery Supervision System in UPPAAL",

keywords = "METIS-221366",

author = "B. Gebremichael and T. Krilavicius and Y.S. Usenko",

year = "2004",

language = "Undefined",

pages = "--",

booktitle = "Proc. of Workshop on Discrete Event Systems (WODES'04)",

note = "WODES\'04 ; Conference date: 01-01-1900",

}