Original language | English |
---|---|
Title of host publication | 7th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation |
Pages | 171-186 |
Number of pages | 16 |
ISBN (Electronic) | 978-3-319-47169-3 |
Publication status | Published - Oct 2016 |
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 proceeding › Conference contribution