Parametrised modal interface automata

Antti Siirtola, Keijo Heljanko

Tutkimustuotos: LehtiartikkeliArticleScientificvertaisarvioitu

5 Sitaatiot (Scopus)
AlkuperäiskieliEnglanti
SivutArticle No. 65, pp. 1-15
JulkaisuACM Transactions on Embedded Computing Systems
Vuosikerta14
Numero4
DOI - pysyväislinkit
TilaJulkaistu - 2015
OKM-julkaisutyyppiA1 Julkaistu artikkeli, soviteltu

Tutkimusalat

  • interface automata
  • modal systems
  • parametrised systems

Siteeraa tätä