VINCO, Sara
VINCO, Sara
DIPARTIMENTO DI INFORMATICA
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.01 secondi).
Design Domains and Abstraction Levels for Effective Smart System Simulation
2016-01-01 Vinco, Sara; Lora, Michele; Guarnieri, Valerio; Vanhese, Jan; Trachanis, Dimitrios; Fummi, Franco
Semiformal Assertion-Based Verification of Hardware/Software Systems in a Model-Driven Design Framework
2017-01-01 Pravadelli, Graziano; Quaglia, Davide; Vinco, Sara; Fummi, Franco
SystemC-AMS Simulation of Conservative Behavioral Descriptions
2016-01-01 Vinco, Sara; Lora, Michele; Zwolinski, Mark
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Design Domains and Abstraction Levels for Effective Smart System Simulation | 1-gen-2016 | Vinco, Sara; Lora, Michele; Guarnieri, Valerio; Vanhese, Jan; Trachanis, Dimitrios; Fummi, Franco | |
Semiformal Assertion-Based Verification of Hardware/Software Systems in a Model-Driven Design Framework | 1-gen-2017 | Pravadelli, Graziano; Quaglia, Davide; Vinco, Sara; Fummi, Franco | |
SystemC-AMS Simulation of Conservative Behavioral Descriptions | 1-gen-2016 | Vinco, Sara; Lora, Michele; Zwolinski, Mark |