A Pattern-Driven Methodology for the Specification and Verification of Component-Based Embedded Systems

Research output: Other contribution

Original languageEnglish
Publication statusUnpublished - 2011

Cite this

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

}

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 -