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