Obtaining Trust in Autonomous Systems: Tools for Formal Model Synthesis and Validation

Autor:	Constance L. Heitmeyer, Elizabeth I. Leonard
Rok vydání:	2015
Zdroj:	2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::e7b14e217c5c63237f259a2b8f1231c6 https://doi.org/10.1109/formalise.2015.16 Zobrazit plný text záznamu