Travelled to:1 × Germany
1 × United Kingdom
Collaborated with:∅
Talks about:develop (1) system (1) safeti (1) integr (1) critic (1) appli (1) time (1) csp (1)
Person: Carsten Sühl
DBLP: S=uuml=hl:Carsten
Contributed to:
2000
1999Wrote 2 papers:
- FASE-2000-Suhl #safety
- Applying RT-Z to Develop Safety-Critical Systems (CS), pp. 51–65.
- IFM-1999-Suhl #csp #integration #named
- RT-Z: An Integration of Z and timed CSP (CS), pp. 29–48.