Towards Semantically Integrated Models and Tools for Cyber-Physical Systems Design.

Peter Gorm Larsen, John S. Fitzgerald, Jim Woodcock, Ren A. Nilsson, Carl Gamble, Simon Foster

Browse the full ISoLA paper archive.