|
Search the dblp DataBase
Carsta Petersohn:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- 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. [Citation Graph (0, 0)][DBLP] EDCC, 1994, pp:59-76 [Conf]
- Carsta Petersohn, Luis Urbina
A Timed Semantics for the STATEMATE Implementation of Statecharts. [Citation Graph (0, 0)][DBLP] FME, 1997, pp:553-572 [Conf]
- Carsta Petersohn
Formal Method for Event-Triggered Sequential Systems. [Citation Graph (0, 0)][DBLP] FORTE, 1995, pp:185-200 [Conf]
- Dirk Scholz, Carsta Petersohn
Towards a Formal Semantics for an Integrated SA/RT & Z Specification Language. [Citation Graph (0, 0)][DBLP] ICFEM, 1997, pp:28-37 [Conf]
Search in 0.001secs, Finished in 0.001secs
|