Department of Computer Science

RoboChart taught at UFPE using RoboTool

Over the course of 2 weeks, Ana Cavalcanti delivered a module on RoboChart at UFPE, including practical sessions on the use of RoboTool/FDR for modelling and analysis. Students are now using RoboTool to support modelling and analysis of robotic systems as part of their degree projects.

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