Archivio Istituzionale della RicercaFUMMI, FRANCO
Mostra
records
Risultati 1 - 2 di 2 (tempo di esecuzione: 0.006 secondi).
Semiformal Assertion-Based Verification of Hardware/Software Systems in a Model-Driven Design Framework
2017 Pravadelli, Graziano; Quaglia, Davide; Vinco, Sara; Fummi, Franco
Smart System Case Studies
2016 Blanco, Ignazio; Cenni, Fabio; Carminati, Roberto; Ciccazzo, Angelo; Dalle Feste, Sandro; Fummi, Franco; Gangemi, Giuliana; Grilli, Fabio; Grosso, Michelangelo; Guarnera, Mirko; Lora, Michele; Pomarico, Anna A.; Rasconà, Gaetano; Rinaudo, Salvatore; Roselli, Giuditta
| Citazione | Data di pubblicazione | Autori | File |
|---|---|---|---|
| Semiformal Assertion-Based Verification of Hardware/Software Systems in a Model-Driven Design Framework / Pravadelli, Graziano; Quaglia, Davide; Vinco, Sara; Fummi, Franco - In: Handbook of Hardware/Software Codesign / Soonhoi Ha, Jürgen Teich. - [s.l] : Springer Netherlands, 2017. - ISBN 978-94-017-7266-2. - pp. 683-720 [10.1007/978-94-017-7358-4_23-2] | 1-gen-2017 | QUAGLIA, DavideVINCO, SARAFUMMI, FRANCO + | - |
| Smart System Case Studies / Blanco, Ignazio; Cenni, Fabio; Carminati, Roberto; Ciccazzo, Angelo; Dalle Feste, Sandro; Fummi, Franco; Gangemi, Giuliana; Grilli, Fabio; Grosso, Michelangelo; Guarnera, Mirko; Lora, Michele; Pomarico, Anna A.; Rasconà, Gaetano; Rinaudo, Salvatore; Roselli, Giuditta - In: Smart systems integration and simulation / Bombieri N., Poncino M., Pravadelli N.. - [s.l] : Springer, 2016. - ISBN 978-3-319-27390-7. - pp. 195-227 [10.1007/978-3-319-27392-1_8] | 1-gen-2016 | FUMMI, FRANCOGROSSO, MICHELANGELO + | - |