mdh.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Tools for Model-Checking Timed Systems
Computer Science Department, Aalborg University, Aalborg, Denmark.
Computer Science Department, Aalborg University, Aalborg, Denmark.
Lomonosov Moscow State University, Moscow, Russian Federation.
Computer Science Department, Aalborg University, Aalborg, Denmark.
Show others and affiliations
2013 (English)In: Communicating Embedded Systems: Software and Design: Formal Methods, John Wiley & Sons, Inc. , 2013, 165-225 p.Chapter in book (Other academic)
Resource type
Text
Place, publisher, year, edition, pages
John Wiley & Sons, Inc. , 2013. 165-225 p.
Keyword [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: diva2:931824
Available from: 2016-05-30 Created: 2016-05-24 Last updated: 2016-05-30Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopus

Search in DiVA

By author/editor
Pettersson, Paul
By organisation
Embedded Systems
Electrical Engineering, Electronic Engineering, Information Engineering

Search outside of DiVA

GoogleGoogle Scholar

Altmetric score

Total: 2 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf