A Formal Verification Technique for Architecture-Based Embedded Systems in EAST-ADL

Research output: Other contribution

Original languageEnglish
Publication statusUnpublished - 2011

Cite this

@misc{ef42d665debe44ed9aa44d0844501aa6,
title = "A Formal Verification Technique for Architecture-Based Embedded Systems in EAST-ADL",
author = "Eun-Young Kang",
year = "2011",
language = "English",
type = "Other",

}

TY - GEN

T1 - A Formal Verification Technique for Architecture-Based Embedded Systems in EAST-ADL

AU - Kang, Eun-Young

PY - 2011

Y1 - 2011

M3 - Other contribution

ER -