ALLARA, ALBERTO
ALLARA, ALBERTO
Mostra
records
Risultati 1 - 6 di 6 (tempo di esecuzione: 0.013 secondi).
A Case Study in Design Space Exploration: The TOSCA Environment Applied to a Telecom Link Controller
2000-01-01 Allara, Alberto; Fornaciari, William; B., Massimo; Salice, Fabio
An Open Database for the Open Verification Methodology
2010-01-01 Allara, Alberto; Comai, Sara; A., Alice
Guidelines for Property Verification of VHDL Models: an Industrial Perspective
1998-01-01 Allara, Alberto; Bolchini, Cristiana; P., Cavalloro; Comai, Sara; Sciuto, Donatella
Specification of Embedded Monitors for Property Checking
2001-01-01 Allara, Alberto; M., Bombana; Comai, Sara; B., Josko; R., Schloer; Sciuto, Donatella
System Verification using User-Friendly Interfaces
1999-01-01 R., Schloer; Allara, Alberto; Comai, Sara
TOSCA: a Flexible System-level Analysis for Embedded Systems Codesign
1996-01-01 Fornaciari, William; N., Missere; M., Vincenzi; S., Filipponi; Allara, Alberto; E., Vena; R., Arce