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

Peter Gorm Larsen, John Fitzgerald, Jim Woodcock, Rene Nilsson, Carl Gamble, Simon David Foster

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publication7th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation
Pages171-186
Number of pages16
ISBN (Electronic)978-3-319-47169-3
Publication statusPublished - Oct 2016

Cite this