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

Eun-Young Kang

Résultats de recherche: Autre contribution

langue originaleAnglais
Etat de la publicationNon publié - 2011

Contient cette citation