Model checking of finite-state machine-based scenario-aware dataflow using timed automata

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

10 Citations (Scopus)
Original languageEnglish
Title of host publication2015 10th IEEE International Symposium on Industrial Embedded Systems, SIES 2015 - Proceedings
Number of pages10
PublisherIEEE
Publication date10 Aug 2015
Pages235-244
Article number7185065
ISBN (Print)9781467377119
DOIs
Publication statusPublished - 10 Aug 2015
Event10th IEEE International Symposium on Industrial Embedded Systems, SIES 2015 - Siegen, Germany
Duration: 8 Jun 201510 Jun 2015

Conference

Conference10th IEEE International Symposium on Industrial Embedded Systems, SIES 2015
Country/TerritoryGermany
CitySiegen
Period08/06/201510/06/2015

Keywords

  • Automata
  • Computational modeling
  • Detectors
  • Kernel
  • Presses
  • Semantics
  • Switches

Fingerprint

Dive into the research topics of 'Model checking of finite-state machine-based scenario-aware dataflow using timed automata'. Together they form a unique fingerprint.

Cite this