Modelling Resilient Systems-of-Systems in Event-B

Linas Laibinis, I Pereverzeva, Elena Troubitsyna

Research output: Chapter in Book/Conference proceedingConference contributionScientificpeer-review

Original languageUndefined/Unknown
Title of host publicationProceedings of Computer Safety, Reliability, and Security (SAFECOMP 2014): Workshops
EditorsA Bondavalli, A Ceccarelli, F Ortmeier
PublisherSpringer
Pages157–166
ISBN (Electronic)978-3-319-10557-4
ISBN (Print)978-3-319-10556-7
DOIs
Publication statusPublished - 2014
MoE publication typeA4 Article in a conference publication
Eventconference; 2014-09-08; 2014-09-09 - Florence, Italy
Duration: 8 Sep 20149 Sep 2014

Conference

Conferenceconference; 2014-09-08; 2014-09-09
Period08/09/1409/09/14

Keywords

  • Event-B
  • formal modelling
  • refinement
  • systems-of-systems

Cite this