Department of Computer Science

Circus

Home
News
Research
Circus Time COMPASS Control Law Diagrams CyPhyAssure hiJaC INTO-CPS Ravenscar Refinement Calculus RoboCalc RoboTest Synchronous Circus Testing for Circus UML-RT
Publications
Papers Technical Reports and Theses
UTP
Tools
Teams
Sponsors
Intranet
Contact

Circus
Sponsors

Sponsors

EU FP7: COMPASS: Comprehensive Modelling for Advanced Systems of Systems
EPSRC: Programming from Control Law Diagrams
EPSRC: CyPhyAssure: Compositional Safety Assurance for Cyber-Physical Systems
EPSRC: High-integrity Java Applications using Circus
EU Horizon 2020: INTO-CPS: INtegrated TOol chain for model-based design of CPSs
EPSRC: A Calculus for Software Engineering of Mobile and Autonomous Robots
Royal Academy of Engineering
EPSRC: RoboTest: Systematic Model-Based Testing and Simulation of Mobile Autonomous Robots

Department of Computer Science
Deramore Lane, University of York, Heslington, York, YO10 5GH, UK
Tel: 01904 325500 | Fax: 01904 325599

Powered by Jekyll, developed by Pedro Ribeiro, based on theme by Scott Emmons under Creative Commons Attribution