Author of the publication

Formal Modeling and Scheduling of Datapaths of Digital Document Printers.

, , , , , , , , and . FORMATS, volume 5215 of Lecture Notes in Computer Science, page 170-187. Springer, (2008)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Simulation of Distributed Simulation with Timed Colored Petri Nets., and . EUROSIM, page 547-552. Elsevier, (1995)Transformation of BPMN Models for Behaviour Analysis., , , , , and . MSVVEIS, page 126-137. INSTICC PRESS, (2007)Coordination of resources using generalized state-based requirements., , , , and . WODES, page 287-292. International Federation of Automatic Control, (2010)Integrated model-driven design-space exploration for embedded systems., , , , and . ICSAMOS, page 339-346. IEEE, (2011)A Formal Framework for Dynamic modelling of Information Systems., , and . DMIS, page 227-236. Elsevier/North Holland, (1990)Executable Specifications for Distributed Information Systems., , and . ISCO, page 157-176. North-Holland, (1989)Performance Prediction for Families of Data-Intensive Software Applications., , and . ICPE Companion, page 189-194. ACM, (2018)Multi-Domain Virtual Prototyping in a SystemC SIL framework: A heating system case study., , , , and . SAMOS, page 286-294. IEEE, (2015)Real-time step motor emulator for hardware-in-the-loop simulation., , , and . SummerSim, page 306-313. Society for Computer Simulation International / ACM DL, (2010)A modeling environment for decision support systems., , and . Decis. Support Syst., 7 (3): 241-251 (1991)