Reactive Designs in Isabelle/UTP

Simon David Foster, James Edward Baxter, Ana Lucia Caneca Cavalcanti, JAMES Charles Paul Woodcock, Samuel James Canham

Computer Science

Research output: Working paper

1 results
- Title
- Start date(ascending)

Workshop on Requirements Modelling for Cyber-Physical Systems
Jim Woodcock (Advisor)
22 Jul 2019 → 24 Jul 2019
Activity: Participating in or organising an event › Seminar/workshop/course