| V | | | Vacirca, Ludovica | 2017-426T | | Valente, Francesca <1983-> | 2017-78T | | Valentini, Francesco <1981-> | 2017-311T | | Valenza, Daniela | 2017-120T | | Vanneschi, Claudio | 2017-181T | | Varasano, Vincenzo | 2017-379T | | Vendraminetto, Danilo | 2017-9T | | Ventola, Luigi <1987-> | 2017-292T | | Vesco, Antonio | 2017-49T | | Vezzoni, Alessia <1983-> | 2017-466T | | Vicentini, Assia | 2017-392T | | Villalobos Jiménez, Victoria Lorena | 2017-498T | | Violi, Laura <1982-> | 2017-400T | | Virgilio, Matteo | 2017-296T | | Visentini, Daniele | 2017-467T | | Vitiello, Marianna | 2017-199T | | Vittorini, Diego | 2017-286T | | Volpi, Vera Giulia | 2017-215T |
|
| Vendraminetto, Danilo.
Advanced techniques for bit-level model checking : studying efficient and scalable verification algorithms applied to industrial level problems : Ph.D. dissertation / Danilo Vendraminetto ; supervisor: Gianpiero Cabodi ; Ph.D. coordinator: Matteo Sonza Reorda. [Torino], 2016.
1 volume : ill.
In testa al frontespizio: Politecnico di Torino, Doctoral School, Ph.D. course in computer and control engineering, XXVII cycle. Tesi svolta presso il Dipartimento di automatica e informatica.
Altro autore:
Politecnico di Torino : Dipartimento di automatica e informatica
004 ING-INF/05
BNI 2017-9T
|
