Carsta Petersohn

According to our database, Carsta Petersohn authored at least 6 papers between 1994 and 1997.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

1997

Data and control flow diagrams, statecharts and Z: their formalization, integration and real time extension.

Carsta Petersohn

PhD thesis, 1997

Towards a Formal Semantics for an Integrated SA/RT & Z Specification Language.

Dirk Scholz, Carsta Petersohn

Proceedings of the First IEEE International Conference on Formal Engineering Methods, 1997

A Timed Semantics for the STATEMATE Implementation of Statecharts.

Carsta Petersohn, Luis Urbina

Proceedings of the FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 1997

1995

Formal Method for Event-Triggered Sequential Systems.

Carsta Petersohn

Proceedings of the Formal Description Techniques VIII, 1995

1994

Formal Semantics for Ward & Mellor's Transformation Schemas.

Carsta Petersohn, Willem-Paul de Roever, Cornelis Huizing, Jan Peleska

Proceedings of the 6th Refinement Workshop, 1994

Formal Semantics for Ward & Mellor's Transformation Schemas and the Specification of Faul Tolerant Systems.

Carsta Petersohn, Willem P. de Roever, Cornelis Huizing, Jan Peleska

Proceedings of the Dependable Computing, 1994