CyPhyAssure: Compositional Safety Assurance for Cyber-Physical Systems

Activities

Activities per year 2019 2019 2019

• 1 Symposium
• 1 Seminar/workshop/course

Activities per year

Search results

• CyPhyAssure Spring School

  Woodcock, J. (Participant)

  19 Mar 2019 → 22 Mar 2019

  Activity: Participating in or organising an event › Seminar/workshop/course

• Huawei European Research Symposium

  Woodcock, J. (Advisor)

  16 Jan 2019 → 17 Jan 2019

  Activity: Participating in or organising an event › Symposium

  File