1 × Germany
1 × USA
∅ M.Borgatti A.Capello J.Lambert I.Moussa F.Fummi G.Pravadelli
design (2) verif (2) reconfigur (1) multimedia (1) methodolog (1) without (1) support (1) system (1) realli (1) method (1)
Person: Umberto Rossi
Wrote 2 papers:
- DAC-2005-Rossi #design #formal method #question #scalability #verification
- Can we really do without the support of formal methods in the verification of large designs? (UR), pp. 672–673.
- DATE-2005-BorgattiCRLMFP04 #configuration management #design #multi #verification
- An Integrated Design and Verification Methodology for Reconfigurable Multimedia Systems (MB, AC, UR, JLL, IM, FF, GP), pp. 266–271.