VINCO, SARA

VINCO, SARA  

Dipartimento di Automatica e Informatica  

032283  

Mostra records
Risultati 1 - 7 di 7 (tempo di esecuzione: 0.01 secondi).
Citazione Data di pubblicazione Autori File
Preface / Große, Daniel; Vinco, Sara; Patel, Hiren. - 530:(2019). [10.1007/978-3-030-02215-0] 1-gen-2019 Vinco, Sara + editor.pdfeditor.pdf
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 + -
Design Domains and Abstraction Levels for Effective Smart System Simulation / Vinco, Sara; Lora, Michele; Guarnieri, Valerio; Vanhese, Jan; Trachanis, Dimitrios; Fummi, Franco - In: Smart Systems Integration and Simulation / Nicola Bombieri; Massimo Poncino; Graziano Pravadelli. - STAMPA. - [s.l] : Springer International Publishing, 2016. - ISBN 978-3-319-27390-7. - pp. 23-54 [10.1007/978-3-319-27392-1_3] 1-gen-2016 VINCO, SARA + cap3.pdfmain.pdf
Editorial: Special Issue on Innovative Design Methods for Smart Embedded Systems / Vinco, Sara; Pilato, Christian. - 15:(2016), pp. 1-2. [10.1145/2885505] 1-gen-2016 VINCO, SARA + 2885505.pdf
Modeling and Simulation of the Power Flow in Smart Systems / Vinco, Sara; Sassone, Alessandro; Poncino, Massimo; Macii, Enrico; Gangemi, Giuliana; Canegallo, Roberto - In: Smart Systems Integration and Simulation / Nicola Bombieri; Massimo Poncino; Graziano Pravadelli. - [s.l] : Springer International Publishing, 2016. - ISBN 978-3-319-27390-7. - pp. 169-194 [10.1007/978-3-319-27392-1_7] 1-gen-2016 VINCO, SARASASSONE, ALESSANDROPONCINO, MASSIMOMACII, Enrico + cap7.pdf
SystemC-AMS Simulation of Conservative Behavioral Descriptions / Vinco, Sara; Lora, Michele; Zwolinski, Mark (LECTURE NOTES IN ELECTRICAL ENGINEERING). - In: Languages, Design Methods, and Tools for Electronic System Design / Drechsler R., Wille R.. - STAMPA. - [s.l] : Springer International Publishing, 2016. - ISBN 978-3-319-31722-9. - pp. 151-173 [10.1007/978-3-319-31723-6_7] 1-gen-2016 VINCO, SARA + chp%3A10.1007%2F978-3-319-31723-6_7.pdfchap_vinco.pdf
Code Generation Alternatives to Reduce Heterogeneous Embedded Systems to Homogeneity / Franco, Fummi; Michele, Lora; Francesco, Stefanni; Vinco, Sara - In: Languages, Design Methods, and Tools for Electronic System DesignSTAMPA. - [s.l] : Springer International Publishing, 2014. - ISBN 9783319063171. - pp. 103-124 [10.1007/978-3-319-06317-1_6] 1-gen-2014 VINCO, SARA + -