Verifying and Assuring Robotic Systems with Isabelle/UTP

Simon David Foster

Research output: Contribution to conference › Poster

Original languageEnglish
Publication statusPublished - 11 Oct 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