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, p. 165-225Chapter in book (Other academic)
Resource type
Text
Place, publisher, year, edition, pages
John Wiley & Sons, Inc. , 2013. p. 165-225
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 in DiVA

Other links

Publisher's full textScopus

Authority records BETA

Pettersson, Paul

Search in DiVA

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

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
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