Southwest University, Chongqing

Activity: Visiting an external institutionAcademic

Jim Woodcock - Advisor

Zhiming Liu - Collaborator

Research collaboration with Southwest University as part of Royal Society project.
11 May 201915 May 2019

Event (Workshop)

TitleWorkshop on Requirements Modelling for Cyber-Physical Systems
LocationRise Laboratory, Southwest University
Degree of recognitionInternational event

External organisation (Academic)

NameSouthwest University, Chongqing


  • Cyber-physical systems, Verification, Robotics, RoboChart, Probabilistic algorithms



Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations