A Toolchain for Synthesizing and Validating Safety Architectures

Autor:	Yuri Gil Dantas, Tiziano Munaro, Carmen Carlan, Vivek Nigam, Simon Barner, Shiqing Fan, Alexander Pretschner, Ulrich Schöpp, Sergey Tverdyshev
Rok vydání:	2023
Předmět:	Computational Theory and Mathematics General Computer Science Computer Networks and Communications Artificial Intelligence Computer Graphics and Computer-Aided Design Computer Science Applications
Zdroj:	SN Computer Science. 4
ISSN:	2661-8907
DOI:	10.1007/s42979-023-01712-5
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::eb4316f27e013a73e97e1e0940ae169a https://doi.org/10.1007/s42979-023-01712-5 Zobrazit plný text záznamu Full text from SpringerLink