Pattern-Based Formal Approach to Analyse Security and Safety of Control Systems

Inna Vistbakka, Elena Troubitsyna

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

Original languageUndefined/Unknown
Title of host publicationModel-Based Safety and Assessment. IMBSA 2019
EditorsYiannis Papadopoulos, Koorosh Aslansefat, Panagiotis Katsaros, Marco Bozzano
PublisherSpringer
Pages363–378
ISBN (Print)978-3-030-32872-6
DOIs
Publication statusPublished - 2019
MoE publication typeA4 Article in a conference publication
EventIMBSA - Model-Based Safety and Assessment - 6th International Symposium, IMBSA 2019
Duration: 16 Oct 201918 Oct 2019

Conference

ConferenceIMBSA
Period16/10/1918/10/19

Keywords

  • Event-B
  • Formal reasoning
  • Formal verification
  • Safety
  • formal modelling
  • safety-critical systems

Cite this