Yves Bontemps

  • 619 Citations
  • 8 h-Index
19992011
Si vous avez apporté des modifications à Pure, elles seront bientôt visibles.

Thèse

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

Auteur: Bontemps, Y., 2001

Superviseur: Schobbens, P. (Promoteur) & Heymans, P. (Promoteur)

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

Realizability of Scenario-Based Specifications

Auteur: Bontemps, Y., 2003

Superviseur: Schobbens, P. (Promoteur)

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

Fichier

Relating inter-agent and intra-agent specifications : the case of life sequence chart

Auteur: Bontemps, Y., 20 avr. 2005

Superviseur: Heymans, P. (Jury), THOMAS, W. (Personne externe) (Jury), UCHITEL, S. (Personne externe) (Jury), Hainaut, J. (Jury) & Schobbens, P. (Promoteur)

Thèse de l'étudiant: Doc typesDocteur en Sciences

Fichier