langue originale | Anglais |
---|---|
état | Non publié - 2011 |
Citer ceci
@misc{979e014968bc45adbdb3340b037a20ca,
title = "A Pattern-Driven Methodology for the Specification and Verification of Component-Based Embedded Systems",
author = "Eun-Young Kang and Pierre-Yves Schobbens and Axel Legay",
year = "2011",
language = "English",
type = "Other",
}
A Pattern-Driven Methodology for the Specification and Verification of Component-Based Embedded Systems. / Kang, Eun-Young; Schobbens, Pierre-Yves; Legay, Axel.
2011, .Résultats de recherche: Autre contribution
TY - GEN
T1 - A Pattern-Driven Methodology for the Specification and Verification of Component-Based Embedded Systems
AU - Kang, Eun-Young
AU - Schobbens, Pierre-Yves
AU - Legay, Axel
PY - 2011
Y1 - 2011
M3 - Other contribution
ER -