Verifying large modular systems using iterative abstraction refinement

Jussi Lahtinen, Tuomas Kuismin, Keijo Heljanko

Tutkimustuotos: LehtiartikkeliArticleScientificvertaisarvioitu

3 Sitaatiot (Scopus)
AlkuperäiskieliEnglanti
Sivut120-130
JulkaisuReliability Engineering and System Safety
Vuosikerta139
DOI - pysyväislinkit
TilaJulkaistu - 2015
OKM-julkaisutyyppiA1 Alkuperäisartikkeli tieteellisessä aikakauslehdessä

Tutkimusalat

  • iterative abstraction refinement
  • model checking
  • validation
  • verification

Siteeraa tätä