Deriving Mode Logic for Autonomous Resilient Systems

Inna Vistbakka, Amin Majd, Elena Troubitsyna

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

2 Citations (Scopus)
Original languageUndefined/Unknown
Title of host publicationFormal Methods and Software Engineering - 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings
EditorsJing Sun, Meng Sun
PublisherSpringer
Pages320–336
ISBN (Electronic)978-3-030-02450-5
ISBN (Print)978-3-030-02449-9
DOIs
Publication statusPublished - 2018
MoE publication typeA4 Article in a conference publication
EventInternational Conference on Formal Engineering Methods, ICFEM - 20th International Conference on Formal Engineering Methods, ICFEM 2018
Duration: 12 Nov 2018 → …

Conference

ConferenceInternational Conference on Formal Engineering Methods, ICFEM
Period12/11/18 → …

Keywords

  • Event-B
  • Formal modelling
  • Resilient Systems
  • Swarm of drones

Cite this