https://www.mdu.se/

Tools for Model-Checking Timed Systems 2013 (English)In: Communicating Embedded Systems: Software and Design: Formal Methods, Wiley , 2013, p. 165-225Chapter in book (Other academic)

Resource type

Text

Place, publisher, year, edition, pages

Wiley , 2013. p. 165-225

Keywords [en]

Model-checking, and tools, ROMEO, and timed extensions, TAPAAL, timed-arc Petri nets, UPPAAL, timed automata/symbolic, UPPAAL-CORA/-TIGA

National Category

Electrical Engineering, Electronic Engineering, Information Engineering

Identifiers

URN: urn:nbn:se:mdh:diva-31644DOI: 10.1002/9781118558188.ch6Scopus ID: 2-s2.0-84889459022Local ID: John Wiley & Sons, Inc.ISBN: 9781848211438 (print)OAI: oai:DiVA.org:mdh-31644DiVA, id: diva2:931824

Available from: 2016-05-30 Created: 2016-05-24 Last updated: 2025-10-10Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records

Pettersson, Paul

Search in DiVA

By author/editor

Pettersson, Paul

By organisation

Embedded Systems

On the subject

Electrical Engineering, Electronic Engineering, Information Engineering

Search outside of DiVA

GoogleGoogle ScholarTotal: 125 hits