Travelled to:1 × France
1 × Italy
1 × Portugal
1 × The Netherlands
Collaborated with:∅ G.Duval
Talks about:distribut (3) applic (3) architectur (1) environ (1) develop (1) concurr (1) tactic (1) specif (1) ration (1) design (1)
Person: Thierry Cattel
DBLP: Cattel:Thierry
Contributed to:
1999
1998
1991
1991Wrote 5 papers:
- TOOLS-EUROPE-1999-DuvalC #architecture #concurrent #distributed
- Developing Safe Concurrent and Distributed Applications with an Architectural Environment (GD, TC), pp. 20–32.
- TACAS-1998-Cattel #modelling #verification
- Modeling and Verification of SC++ Applications (TC), pp. 232–248.
- ESEC-1991-Cattel #design #distributed
- Rational Design of Distributed Applications (TC), pp. 60–79.
- VDME-1991-Cattel #specification #tool support
- Tactical Tools for Distributing VDM Specifications (TC), pp. 309–323.