Jim Woodcock has been awarded a Royal Society grant to collaborate with Zhimming Liu from Southwest University, China, on “Requirements Modelling for Cyber-Physical Systems”.
Department of Computer Science
Deramore Lane, University of York, Heslington, York, YO10 5GH, UK
Tel: 01904 325500