Modelling Resilience of Data Processing Capabilities of CPS

Linas Laibinis, D Klionskiy, Elena Troubitsyna, A Dorokhov, Johan Lilius, M Kupriyanov

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

4 Citations (Scopus)
Original languageUndefined/Unknown
Title of host publicationSoftware Engineering for Resilient Systems
EditorsI Majzik, M Vieira
PublisherSpringer
Pages55–70
ISBN (Electronic)978-3-319-12241-0
ISBN (Print)978-3-319-12240-3
DOIs
Publication statusPublished - 2014
MoE publication typeA4 Article in a conference publication
Eventconference; 2014-10-15; 2014-10-16 - Budapest
Duration: 15 Oct 201416 Oct 2014

Conference

Conferenceconference; 2014-10-15; 2014-10-16
Period15/10/1416/10/14

Keywords

  • Event-B
  • formal modelling
  • statistical model-checking

Cite this