Can I read Obtaining Trust in Autonomous Systems: Tools for Formal Model Synthesis and Validation on EtoBox?

Obtaining Trust in Autonomous Systems: Tools for Formal Model Synthesis and Validation by Constance L. Heitmeyer, Elizabeth I. Leonard is a scholarly article available to read on EtoBox.

What is Obtaining Trust in Autonomous Systems: Tools for Formal Model Synthesis and Validation about?

2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering formal methods,formal models,cyber physical systems,scenarios,requirements,simulation,autonomous vehicles,model synthesis,validation

Author

Constance L. Heitmeyer, Elizabeth I. Leonard