Sebastian de Smet

Publication Activity (10 Years)

Years Active: 2008-2010
Publications (10 Years): 0

Publications

Twan Basten, Emiel van Benthum, Marc Geilen, Martijn Hendriks, Fred Houben, Georgeta Igna, Frans Reckers, Sebastian de Smet, Lou J. Somers, Egbert Teeselink
Model-Driven Design-Space Exploration for Embedded Systems: The Octopus Toolset. ISoLA (1) (2010)
Georgeta Igna, Venkatesh Kannan, Yang Yang, Twan Basten, Marc Geilen, Frits W. Vaandrager, Marc Voorhoeve, Sebastian de Smet, Lou J. Somers
Formal Modeling and Scheduling of Datapaths of Digital Document Printers. FORMATS (2008)