Verification of Component-based Architectural Models on an Autonomous Truck System

Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	9th IEEE International Conference and Workshops on the Engineering of Autonomic and Autonomous Systems
Publication status	Published - 2012

Cite this

@inproceedings{f6b90426634c458cbe888c65f0e8bb01,

title = "Verification of Component-based Architectural Models on an Autonomous Truck System",

author = "Eun-Young Kang and Pierre-Yves Schobbens and Axel Legay",

year = "2012",

language = "English",

booktitle = "9th IEEE International Conference and Workshops on the Engineering of Autonomic and Autonomous Systems",

}