(Semi-)Automatic generation of Uppaal models for model checking embedded control systems (title)

—
—
Add criteria Simple search filter
Clear
types of item

  • book article
    (Semi-)Automatic generation of Uppaal models for model checking embedded control systemsErnits, Juhan-Peep; Vain, Jüri14th Nordic Workshop on Programming Theory : NWPT 2002, Tallinn, Estonia, 20-22 November 2002 : abstracts2002 / p. 45-46
    book article
Number of records 1, displaying 1 - 1