海量图书期刊资源,随时随地畅享阅读乐趣
Scenario-based verification of real-time systems usingUppaalShuhao Li; Sandie Balaguer; Alexandre David; Kim G. Larsen; Brian Nielsen; Saulius Pusinskas · 2010