For the most recent entries see the Petri Nets Newsletter.

A formal software synthesis approach for embedded hard real-time systems.

Barreto, Raimundo; Neves, Marilia; Meuse Oliveira, Jr.; Maciel, Paulo; Tavares, Eduardo; Lima, Ricardo

In: SBCCI '04: Proceedings of the 17th symposium on Integrated circuits and system design, pages 163-168. New York, NY, USA: ACM Press, 2004.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography