Travelled to:1 × Austria
Collaborated with:L.Urbina
Talks about:statechart (1) implement (1) statem (1) semant (1) time (1)
Person: Carsta Petersohn
DBLP: Petersohn:Carsta
Contributed to:
Wrote 1 papers:
- FME-1997-PetersohnU #implementation #semantics
- A Timed Semantics for the STATEMATE Implementation of Statecharts (CP, LU), pp. 553–572.












