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

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

langue originaleAnglais
titre9th IEEE International Conference and Workshops on the Engineering of Autonomic and Autonomous Systems
Etat de la publicationPublié - 2012

Contient cette citation

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