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

Résultats de recherche: Autre contribution

langue originaleAnglais
étatNon publié - 2011

Citer ceci

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