Compositional Assume-Guarantee Reasoning of Control Law Diagrams using UTP

Kangfeng Ye, Simon David Foster, JAMES Charles Paul Woodcock

Computer Science

Research output: Working paper

1 results
- Title
- Start date(ascending)

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