Travelled to:1 × Portugal
1 × The Netherlands
Collaborated with:∅ J.Philipps J.Phillips
Talks about:statechart (4) specif (2) instantan (1) increment (1) reaction (1) composit (1) calculus (1) system (1) formal (1) design (1)
Person: Peter Scholz
DBLP: Scholz:Peter
Contributed to:
19982001
1997
1997Wrote 4 papers:
- FASE-1998-Scholz #calculus #refinement
- A Refinement Calculus for Statecharts (PS), pp. 285–301.
- FASE-J-1998-Scholz01 #design #incremental #specification #statechart
- Incremental design of statechart specifications (PS), pp. 119–145.
- TACAS-1997-PhilippsS #verification
- Formal Verification of Statecharts with Instantaneous Chain Reaction (JP, PS), pp. 224–238.
- TAPSOFT-1997-PhillipsS #composition #embedded #specification
- Compositional Specification of Embedded Systems with Statecharts (JP, PS), pp. 637–651.