COMPASTA: Extending TASTE with Formal Design and Verification Functionality

Autor:	Alberto Bombardelli, Marco Bozzano, Roberto Cavada, Alessandro Cimatti, Alberto Griggio, Massimo Nazaria, Edoardo Nicolodi, Stefano Tonetta
Rok vydání:	2022
Zdroj:	Model-Based Safety and Assessment ISBN: 9783031158414
DOI:	10.1007/978-3-031-15842-1_2
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::1d714829f3d173c45d5b0a66bd7f644f https://doi.org/10.1007/978-3-031-15842-1_2 Zobrazit plný text záznamu