Proceedings First Workshop on Formal Verification of Autonomous Vehicles

Autor:	Maryam Kamali, Lukas Bulwahn, Sven Linker
Rok vydání:	2017
Předmět:	business.industry Computer science Software engineering business Formal verification
Zdroj:	Electronic Proceedings in Theoretical Computer Science. 257
ISSN:	2075-2180
DOI:	10.4204/eptcs.257.0
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::ef468139f12f2c15a264bea6d11b1d5e https://doi.org/10.4204/eptcs.257.0 Zobrazit plný text záznamu