Sciweavers

FMSD
2010

Scenario-based verification of real-time systems using Uppaal

13 years 7 months ago
Scenario-based verification of real-time systems using Uppaal
Shuhao Li, Sandie Balaguer, Alexandre David, Kim G
Added 17 May 2011
Updated 17 May 2011
Type Journal
Year 2010
Where FMSD
Authors Shuhao Li, Sandie Balaguer, Alexandre David, Kim G. Larsen, Brian Nielsen, Saulius Pusinskas
Comments (0)