par De Wachter, Bram Cliquez pour télécharger la liste de publications de l'auteur; Massart, Thierry Liste de publications; Meuter, Cédric Liste de publications
Référence Proceedings of the 3rd Automated Verification of Critical Systems (AVoCS03), (page 17)
Publication Publié, 2003
Publication dans des actes
Titre :
  • dSL verification with spin, a case study
Auteur : De Wachter, Bram ; Massart, Thierry ; Meuter, Cédric
Statut de publication : Publié, 2003
Sujet CREF : Informatique mathématique
Informations sur la publication :
  • , Proceedings of the 3rd Automated Verification of Critical Systems (AVoCS03), Automated Verification of Critical Systems(3: April 2003: Southampton, UK), page 17
Langue :
  • Anglais