Scenario-based verification of real-time systems using \textscUppaal

Shuhao Li 1 Sandie Balaguer 2 Alexandre David 1 Kim Guldstrand Larsen 1 Brian Nielsen 1 Saulius Pusinskas 1
2 MEXICO - Modeling and Exploitation of Interaction and Concurrency
LSV - Laboratoire Spécification et Vérification [Cachan], ENS Cachan - École normale supérieure - Cachan, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8643
Type de document :
Article dans une revue
Formal Methods in System Design, Springer Verlag, 2010, 37 (2-3), pp.200-264. 〈10.1007/s10703-010-0103-z〉
Liste complète des métadonnées

https://hal.inria.fr/hal-00779909
Contributeur : Stefan Haar <>
Soumis le : mardi 22 janvier 2013 - 17:01:15
Dernière modification le : mardi 24 avril 2018 - 16:16:02

Lien texte intégral

Identifiants

Collections

Citation

Shuhao Li, Sandie Balaguer, Alexandre David, Kim Guldstrand Larsen, Brian Nielsen, et al.. Scenario-based verification of real-time systems using \textscUppaal. Formal Methods in System Design, Springer Verlag, 2010, 37 (2-3), pp.200-264. 〈10.1007/s10703-010-0103-z〉. 〈hal-00779909〉

Partager

Métriques

Consultations de la notice

159