Travelled to:
1 × USA
Collaborated with:
E.C.d.Andrade P.R.M.Maciel 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: Gustavo Rau de Almeida Callou
DBLP: Callou:Gustavo_Rau_de_Almeida
Contributed to:
Wrote 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.