Carsten Sühl

Publication Activity (10 Years)

Years Active: 1996-2002
Publications (10 Years): 0

Technical University of Berlin, Germany (PHD)

Education History

Technical University of Berlin, Germany

PHD

Publications

Carsten Sühl
An Overview of the Integrated Formalism RT-Z. Formal Aspects Comput. 13 (2) (2002)
Carsten Sühl
Applying RT-Z to Develop Safety-Critical Systems. FASE (2000)
Carsten Sühl
RT-Z: An Integration of Z and timed CSP. IFM (1999)
Maritta Heisel, Carsten Sühl
Formal Specification of Safety-Critical Software with Z and Real-Time CSP. SAFECOMP (1996)