Obtaining Trust in Autonomous Systems: Tools for Formal Model Synthesis and Validation - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Constance L. Heitmeyer, Elizabeth I. Leonard. Obtaining Trust in Autonomous Systems: Tools for Formal Model Synthesis and Validation. In 3rd IEEE/ACM FME Workshop on Formal Methods in Software Engineering, FormaliSE 2015, Florence, Italy, May 18, 2015. pages 54-60, IEEE, 2015. [doi]

This author has not been identified. Look up 'Constance L. Heitmeyer' in GoogleThis author has not been identified. Look up 'Elizabeth I. Leonard' in Google

runs on WebDSL