Integrating Stochastic Reasoning Into Event-B Development

Elena Troubitsyna, Linas Laibinis, Anton Vistbakka

Research output: Contribution to journalArticleScientificpeer-review

17 Citations (Scopus)
Original languageUndefined/Unknown
Pages (from-to)53–77
JournalFormal Aspects of Computing
Volume27
Issue number1
DOIs
Publication statusPublished - 2015
MoE publication typeA1 Journal article-refereed

Keywords

  • Event-B
  • Responsiveness
  • refinement
  • probabilistic reasoning
  • Markov processes
  • reliability

Cite this