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
Period13/05/1915/05/19
LocationRise Laboratory, Southwest University
CityChongqing
CountryChina
Degree of recognitionInternational event

External organisation (Academic)

NameSouthwest University, Chongqing

    Keywords

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

???project-relations???

???researchoutput-relations???

Discover related content

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

View graph of relations