Distributed design and verification of System-on-chip architectures and embedded systems following the contract based methodology

Autor:	FERRANTE, ORLANDO
Přispěvatelé:	OLIVIERI, MAURO, FERRARI, ALBERTO
Jazyk:	angličtina
Rok vydání:	2012
Předmět:	Contract based methodology Embedded system verification Formal verification Simulazione Ingegneria industriale e dell'informazione [Settori Disciplinari MIUR] Design methodologies Model based design Verifica Embedded Systems Embedded control systems
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=od_______249::04e24ebe3e2bdd6553fffd8274b4d32b http://hdl.handle.net/10805/1413 Zobrazit plný text záznamu