Automated Verification of Control Protocols with Timed Automata (Extension 2020 2021)

  • Hoefner, Peter (PI)
  • McIver, Annabelle (CoI)
  • Portmann, Marius (CoI)
  • Zhu, Liming (CoI)

    Project: Research

    Project Details

    StatusFinished
    Effective start/end date1/03/20 → 30/06/21