Applying guidelines for system modelling in Event-B: A systematic literature review

Research output: Contribution to journalArticleScientificpeer-review

Original languageUndefined/Unknown
Pages (from-to)1–36
JournalInternational Journal of Critical Computer-Based Systems
Volume10
Issue number1
DOIs
Publication statusPublished - 2020
MoE publication typeA1 Journal article-refereed

Keywords

  • GUIDELINES
  • Event-B
  • Practitioners
  • Formal modelling

Cite this