Formal Modeling and Scheduling of Datapaths of Digital Document Printers - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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. In Franck Cassez, Claude Jard, editors, Formal Modeling and Analysis of Timed Systems, 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings. Volume 5215 of Lecture Notes in Computer Science, pages 170-187, Springer, 2008. [doi]

This author has not been identified. Look up 'Georgeta Igna' in GoogleThis author has not been identified. Look up 'Venkatesh Kannan' in GoogleThis author has not been identified. It may be one of the following persons:

Yang Yang

Look up 'Yang Yang' in GoogleThis author has not been identified. Look up 'Twan Basten' in GoogleThis author has not been identified. Look up 'Marc Geilen' in GoogleThis author has not been identified. It may be one of the following persons:

Frits W. Vaandrager

Look up 'Frits W. Vaandrager' in GoogleThis author has not been identified. Look up 'Marc Voorhoeve' in GoogleThis author has not been identified. Look up 'Sebastian de Smet' in GoogleThis author has not been identified. Look up 'Lou J. Somers' in Google

runs on WebDSL