![]() | ![]() |
2002 | ||
---|---|---|
3 | EE | Carsten Sühl: An Overview of the Integrated Formalism RT-Z. Formal Asp. Comput. 13(2): 94-110 (2002) |
2000 | ||
2 | EE | Carsten Sühl: Applying RT-Z to Develop Safety-Critical Systems. FASE 2000: 51-65 |
1999 | ||
1 | Carsten Sühl: RT-Z: An Integration of Z and timed CSP. IFM 1999: 29-48 |