For the most recent entries see the
Petri Nets Newsletter.
Meuse Oliveira, J.
-
Tavares, Eduardo;
Barreto, Raimundo;
Maciel, Paulo;
Meuse Oliveira, Jr.;
Amorim, Leonardo;
Rocha, Fernando;
Lima, Ricardo:
Software synthesis for hard real-time embedded systems with multiple processors.
2007.
-
Tavares, Eduardo;
Maciel, Paulo;
Bessa, Arthur;
Barreto, Raimundo;
Barros, Leonardo;
Meuse Oliveira, Jr;
Lima, Ricardo:
A time petri net based approach for embedded hard real-time software synthesis with multiple operational modes.
2005.
-
Barreto, Raimundo;
Neves, Marilia;
Meuse Oliveira, Jr.;
Maciel, Paulo;
Tavares, Eduardo;
Lima, Ricardo:
A formal software synthesis approach for embedded hard real-time systems.
2004.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Are you trying to get in contact with an author? Try our
database of Petri net researchers.
Back to the Petri Nets Bibliography