Sfoglia per Rivista
Exploring Coprocessor Interfaces in an Embedded Java Environment
2003 E., Lattanzi; Acquaviva, Andrea; A., Bogliolo; L., Benini
Formal Verification of Embedded Systems for Remote Attestation
2015 Cabodi, Gianpiero; Camurati, Paolo Enrico; Loiacono, Carmelo; Pipitone, Giovanni; Savarese, Francesco; Vendraminetto, Danilo
Citazione | Data di pubblicazione | Autori | File |
---|---|---|---|
Exploring Coprocessor Interfaces in an Embedded Java Environment / E., Lattanzi; Acquaviva, Andrea; A., Bogliolo; L., Benini. - In: WSEAS TRANSACTIONS ON COMPUTERS. - ISSN 1109-2750. - 2:(2003), pp. 859-867. | 1-gen-2003 | ACQUAVIVA, ANDREA + | - |
Formal Verification of Embedded Systems for Remote Attestation / Cabodi, Gianpiero; Camurati, Paolo Enrico; Loiacono, Carmelo; Pipitone, Giovanni; Savarese, Francesco; Vendraminetto, Danilo. - In: WSEAS TRANSACTIONS ON COMPUTERS. - ISSN 1109-2750. - ELETTRONICO. - 14:(2015), pp. 760-769. | 1-gen-2015 | CABODI, GianpieroCAMURATI, Paolo EnricoLOIACONO, CARMELOPIPITONE, GIOVANNISAVARESE, FRANCESCOVENDRAMINETTO, DANILO | - |
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