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

researchr

You are not signed in
Sign in
Sign up

Peter Gorm Larsen, John S. Fitzgerald, Jim Woodcock, René Nilsson, Carl Gamble, Simon Foster. Towards Semantically Integrated Models and Tools for Cyber-Physical Systems Design. In Tiziana Margaria, Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II. Volume 9953 of Lecture Notes in Computer Science, pages 171-186, 2016. [doi]

This author has not been identified. Look up 'Peter Gorm Larsen' in GoogleThis author has not been identified. Look up 'John S. Fitzgerald' in GoogleThis author has not been identified. Look up 'Jim Woodcock' in GoogleThis author has not been identified. Look up 'René Nilsson' in GoogleThis author has not been identified. Look up 'Carl Gamble' in GoogleThis author has not been identified. Look up 'Simon Foster' in Google

runs on WebDSL