Vérification de logiciel récursif, évolutif, et temps-réel

Projet: Recherche

Détails du projet

Description

{description_courte}
L'acronymeVEREV
statutFini
Les dates de début/date réelle1/02/1131/01/12

Résultat de recherche

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

Kang, E-Y., Enoiu, E. P., Marinescu, R., Seceleanu, C., Schobbens, P. Y. & Pettersson, P., 31 juil. 2013, Dans : Reliability Engineering and System Safety. 120, p. 127-138 12 p.

Résultats de recherche: Contribution à un journal/une revueArticle