Carsta Petersohn

Publication Activity (10 Years)

Years Active: 1994-1997
Publications (10 Years): 0

University of Kiel (PHD)

Education History

University of Kiel

PHD

Publications

Dirk Scholz, Carsta Petersohn
Towards a Formal Semantics for an Integrated SA/RT & Z Specification Language. ICFEM (1997)
Carsta Petersohn, Luis Urbina
A Timed Semantics for the STATEMATE Implementation of Statecharts. FME (1997)
Carsta Petersohn
Formal Method for Event-Triggered Sequential Systems. FORTE (1995)
Carsta Petersohn, Willem-Paul de Roever, Cornelis Huizing, Jan Peleska
Formal Semantics for Ward & Mellor's Transformation Schemas. Refine (1994)
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)