The paper “RoboChart: modelling and verification of the functional behaviour of robotic applications”, published in the Journal of Software & Systems Modelling (SoSyM), was awarded a best paper award. Alvaro Miyazawa presented the paper at MODELS’19 in Munich.
Department of Computer Science
Deramore Lane, University of York, Heslington, York, YO10 5GH, UK
Tel: 01904 325500
University of York legal statements
