A methodology for formal analysis and verification of EAST-ADL models

Eun-Young Kang, Eduard Paul Enoiu, Raluca Marinescu, Cristina Seceleanu, Pierre Yves Schobbens, Paul Pettersson

Résultats de recherche: Contribution à un journal/une revue › Article › Revue par des pairs

2 résultats

Terminé
VEREV: Vérification de logiciel récursif, évolutif, et temps-réel
Schobbens, P. Y. (Responsable du Projet) & KANG, E.-Y. (Chercheur)
1/02/11 → 31/01/12
Projet: Recherche
VLPL: Vérification de Lignes de Produits Logiciels
Heymans, P. (Responsable du Projet), Schobbens, P. Y. (Responsable du Projet), Classen, A. (Chercheur), CORDY, M. (Chercheur), KANG, E.-Y. (Chercheur) & Legay, A. (Chercheur)
1/01/11 → 1/01/13
Projet: Recherche