Travelled to:1 × USA
Collaborated with:P.R.M.Maciel G.R.d.A.Callou B.C.e.S.Nogueira C.Araújo
Talks about:time (2) constraint (1) sequenc (1) diagram (1) system (1) requir (1) energi (1) valid (1) petri (1) embed (1)
Person: Ermeson Carneiro de Andrade
DBLP: Andrade:Ermeson_Carneiro_de
Contributed to:
2009Wrote 1 papers:
- SAC-2009-AndradeMCNA #constraints #diagrams #embedded #energy #petri net #realtime #sequence chart #uml #validation
- Mapping UML sequence diagram to time petri net for requirement validation of embedded real-time systems with energy constraints (ECdA, PRMM, GRdAC, BCeSN, CA), pp. 377–381.