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
étatPublié - 2012

Citer ceci

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

}

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.

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érenceArticle dans les actes d'une conférence/un colloque

TY - GEN

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

AU - Kang, Eun-Young

AU - Schobbens, Pierre-Yves

AU - Legay, Axel

PY - 2012

Y1 - 2012

M3 - Conference contribution

BT - 9th IEEE International Conference and Workshops on the Engineering of Autonomic and Autonomous Systems

ER -

Kang E-Y, Schobbens P-Y, Legay A. 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. 2012