Formal safety assessment via contract-based design

Autor:	Bozzano, M., Alessandro Cimatti, Mattarei, C., Tonetta, S.
Zdroj:	Scopus-Elsevier
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::18e74dff15082ba85acba1e079ce3f29 http://www.scopus.com/inward/record.url?eid=2-s2.0-84908680697&partnerID=MN8TOARS Zobrazit plný text záznamu