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

Eun-Young Kang; Pierre-Yves Schobbens; Axel Legay

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

Eun-Young Kang, Pierre-Yves Schobbens, Axel Legay

Faculte d'informatique

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

langue originale	Anglais
titre	9th IEEE International Conference and Workshops on the Engineering of Autonomic and Autonomous Systems
Etat de la publication	Publié - 2012

Contient cette citation

@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",

}

Verification of Component-based Architectural Models on an Autonomous Truck System. / Kang, Eun-Young ; Schobbens, Pierre-Yves; Legay, Axel.
9th IEEE International Conference and Workshops on the Engineering of Autonomic and Autonomous Systems. 2012.

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