Cyber-Physical Systems Design: Formal Foundations, Methods and Integrated Tool Chains - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

John S. Fitzgerald, Carl Gamble, Peter Gorm Larsen, Kenneth Pierce, Jim Woodcock. Cyber-Physical Systems Design: Formal Foundations, Methods and Integrated Tool Chains. In 3rd IEEE/ACM FME Workshop on Formal Methods in Software Engineering, FormaliSE 2015, Florence, Italy, May 18, 2015. pages 40-46, IEEE, 2015. [doi]

This author has not been identified. Look up 'John S. Fitzgerald' in GoogleThis author has not been identified. Look up 'Carl Gamble' in GoogleThis author has not been identified. Look up 'Peter Gorm Larsen' in GoogleThis author has not been identified. Look up 'Kenneth Pierce' in GoogleThis author has not been identified. Look up 'Jim Woodcock' in Google

runs on WebDSL