Workshop on Requirements Modelling for Cyber-Physical Systems

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

Period	22 Jul 2019 → 24 Jul 2019
Event type	Workshop
Location	York, United KingdomShow on map
Degree of Recognition	International

Keywords

Publications
Compositional Assume-Guarantee Reasoning of Control Law Diagrams using UTP
Research output: Working paper
Unifying Semantic Foundations for Automated Verification Tools in Isabelle/UTP
Research output: Contribution to journal › Article › peer-review
Analysing RoboChart with probabilities
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
RoboChart: modelling and verification of the functional behaviour of robotic applications
Research output: Contribution to journal › Article › peer-review
Reactive Designs in Isabelle/UTP
Research output: Working paper
Automating Verification of State Machines with Reactive Designs and Isabelle/UTP
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution