Scenario-based verification of real-time systems using \textscUppaal - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Formal Methods in System Design Year : 2010

Dates and versions

hal-00779909 , version 1 (22-01-2013)

Identifiers

Cite

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⟩
87 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More