ALLARA, ALBERTO
ALLARA, ALBERTO
Mostra
records
Risultati 1 - 4 di 4 (tempo di esecuzione: 0.003 secondi).
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
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
Titolo | Data di pubblicazione | Autori | File |
---|---|---|---|
An Open Database for the Open Verification Methodology | 1-gen-2010 | ALLARA, ALBERTOCOMAI, SARA + | |
Guidelines for Property Verification of VHDL Models: an Industrial Perspective | 1-gen-1998 | ALLARA, ALBERTOBOLCHINI, CRISTIANACOMAI, SARASCIUTO, DONATELLA + | |
System Verification using User-Friendly Interfaces | 1-gen-1999 | ALLARA, ALBERTOCOMAI, SARA + | |
TOSCA: a Flexible System-level Analysis for Embedded Systems Codesign | 1-gen-1996 | FORNACIARI, WILLIAMALLARA, ALBERTO + |