Assurance Case Process of RoboChart Supported by Formal Verification

Fang Yan, Simon David Foster, Ibrahim Habli

Research output: Contribution to conference › Poster

Original languageEnglish
Publication statusUnpublished - 2022
EventYorRobots and RoboStar Industry Exhibition - University of York, York
Duration: 11 Oct 2022 → 12 Oct 2022

Conference

ConferenceYorRobots and RoboStar Industry Exhibition
CityYork
Period11/10/22 → 12/10/22

Access to Document

    Cite this