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

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publication9th IEEE International Conference and Workshops on the Engineering of Autonomic and Autonomous Systems
Publication statusPublished - 2012

Cite this

Kang, E-Y., Schobbens, P-Y., & Legay, A. (2012). Verification of Component-based Architectural Models on an Autonomous Truck System. In 9th IEEE International Conference and Workshops on the Engineering of Autonomic and Autonomous Systems