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

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