LOGHI, MIRKO
LOGHI, MIRKO
Mostra
records
Risultati 1 - 2 di 2 (tempo di esecuzione: 0.006 secondi).
Dynamic and Formal Verification of Embedded Systems: A Comparative Survey
2005-01-01 Loghi, Mirko; T., Margaria; Pravadelli, Graziano; B., Steffen
Virtual Hardware Prototyping Through Timed Hardware-Software Co-Simulation
2005-01-01 Fummi, Franco; Loghi, Mirko; Martini, Stefano; M., Monguzzi; Perbellini, Giovanni; Poncino, Massimo
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Dynamic and Formal Verification of Embedded Systems: A Comparative Survey | 1-gen-2005 | Loghi, Mirko; T., Margaria; Pravadelli, Graziano; B., Steffen | |
Virtual Hardware Prototyping Through Timed Hardware-Software Co-Simulation | 1-gen-2005 | Fummi, Franco; Loghi, Mirko; Martini, Stefano; M., Monguzzi; Perbellini, Giovanni; Poncino, Massimo |