Skip to Main content Skip to Navigation
Journal articles

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 
1 CISS - Center for Indlejrede Software Systemer
2 MEXICO - Modeling and Exploitation of Interaction and Concurrency
LSV - Laboratoire Spécification et Vérification [Cachan], Inria Saclay - Ile de France
Document type :
Journal articles
Complete list of metadata
https://hal.inria.fr/hal-00779909
Contributor : Stefan Haar Connect in order to contact the contributor
Submitted on : Tuesday, January 22, 2013 - 5:01:15 PM
Last modification on : Thursday, January 20, 2022 - 4:12:11 PM

Links full text

istex

Identifiers

Collections

CNRS | INRIA | ENS-CACHAN | INRIA2 | ENS-PARIS-SACLAY

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⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

86

 

Contact                    Legal Notice                    Personal Data