Using Formal Analysis and Search-based Techniques to Address the Assurance of Cyber-Physical Systems at the Requirements Level

Autor:	DeVries, Byron
Rok vydání:	2017
DOI:	10.25335/m51z9f
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::178f1fa87a1ea10e37697e4c12115016 Zobrazit plný text záznamu