Login / Signup

A time Petri net-based method for embedded hard real-time software synthesis.

Raimundo S. BarretoPaulo Romero Martins MacielEduardo TavaresRomulo Devezas FreitasMeuse N. Oliveira Jr.Ricardo Massa Ferreira Lima
Published in: Des. Autom. Embed. Syst. (2008)
Keyphrases