Travelled to:1 × Canada
1 × Greece
Collaborated with:T.Systä F.L.Tiplea
Talks about:properti (1) interact (1) behavior (1) synthes (1) support (1) specif (1) petri (1) model (1) jump (1) uml (1)
Person: Erkki Mäkinen
DBLP: M=auml=kinen:Erkki
Contributed to:
2001
1997Wrote 2 papers:
- ICSE-2001-MakinenS #behaviour #interactive #modelling #named #uml
- MAS — An Interactive Synthesizer to Support Behavioral Modeling in UML (EM, TS), pp. 15–24.
- DLT-1997-TipleaM #petri net
- Jumping Petri Nets — Specific Properties (FLT, EM), pp. 461–476.