Parametrised modal interface automata

Antti Siirtola, Keijo Heljanko

Research output: Contribution to journalArticleScientificpeer-review

Original languageEnglish
Article number65
JournalACM Transactions on Embedded Computing Systems
Volume14
Issue number4
Pages (from-to)1-15
ISSN1539-9087
DOIs
Publication statusPublished - 2015
Externally publishedYes
MoE publication typeA1 Journal article-refereed

Fields of Science

  • interface automata
  • modal systems
  • parametrised systems

Cite this