Sfoglia per Autore
Mostrati risultati da 1 a 2 di 2
Virtual Hardware Prototyping Through Timed Hardware-Software Co-Simulation
2005-01-01 Fummi, Franco; Loghi, Mirko; Martini, Stefano; M., Monguzzi; Perbellini, Giovanni; Poncino, Massimo
Dynamic and Formal Verification of Embedded Systems: A Comparative Survey
2005-01-01 Loghi, Mirko; T., Margaria; Pravadelli, Graziano; B., Steffen
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Virtual Hardware Prototyping Through Timed Hardware-Software Co-Simulation | 1-gen-2005 | Fummi, Franco; Loghi, Mirko; Martini, Stefano; M., Monguzzi; Perbellini, Giovanni; Poncino, Massimo | |
Dynamic and Formal Verification of Embedded Systems: A Comparative Survey | 1-gen-2005 | Loghi, Mirko; T., Margaria; Pravadelli, Graziano; B., Steffen |
Mostrati risultati da 1 a 2 di 2
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