QUAGLIA, DAVIDE

QUAGLIA, DAVIDE  

003277  

Mostra records
Risultati 1 - 1 di 1 (tempo di esecuzione: 0.002 secondi).
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 + -