| 1997 |
|---|
| 4 | | Carsta Petersohn,
Luis Urbina:
A Timed Semantics for the STATEMATE Implementation of Statecharts.
FME 1997: 553-572 |
| 3 | | Dirk Scholz,
Carsta Petersohn:
Towards a Formal Semantics for an Integrated SA/RT & Z Specification Language.
ICFEM 1997: 28-37 |
| 1995 |
|---|
| 2 | | Carsta Petersohn:
Formal Method for Event-Triggered Sequential Systems.
FORTE 1995: 185-200 |
| 1994 |
|---|
| 1 | | Carsta Petersohn,
Willem P. de Roever,
Cornelis Huizing,
Jan Peleska:
Formal Semantics for Ward & Mellor's Transformation Schemas and the Specification of Faul Tolerant Systems.
EDCC 1994: 59-76 |
