Carsten Sühl

According to our database¹, Carsten Sühl authored at least 5 papers between 1996 and 2002.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2002

An integration of Z and Timed CSP for specifying real time embedded systems.

[BibT_eX]

[DOI]

PhD thesis, 2002

An Overview of the Integrated Formalism RT-Z.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2002

2000

Applying RT-Z to Develop Safety-Critical Systems.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2000

1999

RT-Z: An Integration of Z and timed CSP.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods, 1999

1996

Formal Specification of Safety-Critical Software with Z and Real-Time CSP.

[BibT_eX]

[DOI]

Proceedings of the 15th International Conference on Computer Safety, 1996