Below is a list of case studies considered in the context of RoboStar projects, namely in the context of RoboCalc.
The following models have been specified and analysed using RoboTool. The version of RoboTool used for each case study is linked.
The following examples consist of RoboChart models without analysis.
Department of Computer Science
Deramore Lane, University of York, Heslington, York, YO10 5GH, UK
Tel: 01904 325500