Department of Computer Science

RoboChart courses at Summer School

Ana Cavalcanti and Jim Woodcock will be delivering courses on RoboChart as part of the Summer School organised by Zhimming Liu at the School of Software, Northwest Polytechnical University, Xi’an, China. Ana’s course will focus on the core aspects of RoboChart and its formal process-algebraic semantics, while Jim’s course will focus on probabilistic RoboCharts. Colleagues James Baxter , Alvaro Miyazawa , and Pedro Ribeiro will demonstrate the use of RoboTool for modelling and verification of a case study.

Department of Computer Science
Deramore Lane, University of York, Heslington, York, YO10 5GH, UK
Tel: 01904 325500
University of York legal statements