Parametrised modal interface automata

Research output: Contribution to journalArticleScientificpeer-review

Researchers

Research units

Details

Original languageEnglish
Pages (from-to)Article No. 65, pp. 1-15
JournalACM Transactions on Embedded Computing Systems
Volume14
Issue number4
Publication statusPublished - 2015
MoE publication typeA1 Journal article-refereed

    Research areas

  • interface automata, modal systems, parametrised systems

ID: 2038280