Automated verification of state-based specifications against scenarios: a step towards relating inter-object to intra-object specifications

  • Yves Bontemps

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Résumé

Date de réussite2001
langueAnglais
SuperviseurPIERRE-YVES SCHOBBENS (Promoteur) & Patrick HEYMANS (Promoteur)

Citer ceci

Automated verification of state-based specifications against scenarios: a step towards relating inter-object to intra-object specifications
Bontemps, Y. (Auteur). 2001

Thèse de l'étudiant: Master typesMaster en sciences informatiques