Scenario-based verification of real-time systems using UPPAAL
From MaRDI portal
Publication:633291
DOI10.1007/s10703-010-0103-zzbMath1209.68323MaRDI QIDQ633291
Sandie Balaguer, Shuhao Li, Alexandre David, Brian Nielsen, Saulius Pusinskas, Kim Guldstrand Larsen
Publication date: 31 March 2011
Published in: Formal Methods in System Design (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10703-010-0103-z
68Q45: Formal languages and automata
68Q60: Specification and verification (program logics, model checking, etc.)
Uses Software