Searching for authors named "Thierry Cattel" – sorted by Relevance.
-
Modelization and Verification of a Multiprocessor Realtime OS Kernel
- Multiprocessor Realtime OS Kernel Thierry Cattel + Software Engineering Laboratory October 1994 + Author
- Cited by 18 (2 self) – Add To MetaCart
-
From architecture down to implementation of safe process control applications: design, verification and simulation
- Study - Grégory DUVAL, Thierry CATTEL Laboratoire de Téléinformatique - Ecole Polytechnique Fédérale
- Cited by 2 (0 self) – Add To MetaCart
-
Process Control Design Using SPIN
- Thierry Cattel - 1 - Presented at Spin Workshop, 16 Oct. 1995, Montreal, Canada. Process Control
- Add To MetaCart
-
Presented at Spin Workshop, 16 Oct. 1995, Montreal, Canada.
- Thierry CATTEL 1 1 Laboratoire de Téléinformatique, Ecole Polytechnique Fédérale CH-1015 Lausanne
- Add To MetaCart

