Sfoglia per Autore
Mostrati risultati da 1 a 6 di 6
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
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
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
Specification of Embedded Monitors for Property Checking
2001-01-01 Allara, Alberto; M., Bombana; Comai, Sara; B., Josko; R., Schloer; Sciuto, Donatella
An Open Database for the Open Verification Methodology
2010-01-01 Allara, Alberto; Comai, Sara; A., Alice
Mostrati risultati da 1 a 6 di 6
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile