Travelled to:1 × Portugal
Collaborated with:J.C.J.d.Freitas M.S.Soares S.Julia
Talks about:straightforward (1) introduct (1) method (1) formal (1) colour (1) petri (1) use (1) net (1)
Person: Franciny Medeiros Barreto
DBLP: Barreto:Franciny_Medeiros
Contributed to:
2014Wrote 1 papers:
- ICEIS-v2-2014-BarretoFSJ #formal method #petri net #using
- A Straightforward Introduction to Formal Methods Using Coloured Petri Nets (FMB, JCJdF, MSS, SJ), pp. 145–152.