Article Dans Une Revue
Formal Methods in System Design
Année : 2010
Stefan Haar : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-00779909
Soumis le : mardi 22 janvier 2013-17:01:15
Dernière modification le : vendredi 24 mars 2023-14:52:56
Citer
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, 2010, 37 (2-3), pp.200-264. ⟨10.1007/s10703-010-0103-z⟩. ⟨hal-00779909⟩
Collections
87
Consultations
0
Téléchargements