Passerone, Roberto books & textbook
Contracts for System Design (Foundations and Trends(r) in Electronic Design Automation)
Benveniste, Albert Caillaud, Benoît Nickovic, Dejan Passerone, Roberto Raclet, Jean-Baptiste Reinkemeier, Philipp Sangiovanni-Vincentelli, Alberto Damm, Werner Henzinger, Thomas A Larsen, Kim G
Now Publishers /2018-03-28 Paperback / 296 Pages
isbn-10: 1680834029 / isbn-13: 9781680834024
Platform-Based Design
Sangiovanni-Vincentelli, Alberto Passerone, Roberto
Springer /2011-11-11 Hardcover / 350 Pages
isbn-10: 1461409888 / isbn-13: 9781461409885
Languages And Tools for Hybrid Systems Design
Carloni, Luca P. Passerone, Roberto Pinto, Alessandro
Now Pub /2006-06-01 Paperback / 208 Pages
isbn-10: 193301928X / isbn-13: 9781933019284
