• Citer

Abstracting models from execution traces for performing formal verification

par Bodhuin, Thierry;Pagnozzi, Federico ;Santone, Antonella;Tortorella, Maria;Villani, Maria Luisa
Référence ASEA 2009: Advances in Software Engineering, International Conference on Advanced Software Engineering and Its Applications, Springer, Berlin, Heidelberg
Publication Publié, 2009-12-10

Publication dans des actes

• Accès en ligne
• Détails
• Statistiques

Titre:	Abstracting models from execution traces for performing formal verification
Auteur:	Bodhuin, Thierry; Pagnozzi, Federico; Santone, Antonella; Tortorella, Maria; Villani, Maria Luisa
Informations sur la publication:	ASEA 2009: Advances in Software Engineering, International Conference on Advanced Software Engineering and Its Applications, Springer, Berlin, Heidelberg
Statut de publication:	Publié, 2009-12-10
series:	Communications in Computer and Information Science
Sujet CREF:	Informatique générale
Langue:	Français
Identificateurs:	urn:isbn:978-3-642-10618-7