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
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. in 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.

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

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. In 9th IEEE International Conference and Workshops on the Engineering of Autonomic and Autonomous Systems. 2012