par De Wachter, Bram ;Massart, Thierry ;Meuter, Cédric
Référence Proceedings of the 3rd Automated Verification of Critical Systems (AVoCS03), Automated Verification of Critical Systems(3: April 2003: Southampton, UK), 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
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)
Statut de publication:Publié, 2003
Sujet CREF:Informatique mathématique
Langue:Anglais