MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Thierry Cattel" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

4 documents found, showing 1 through 4.

ATOM

Modelization and Verification of a Multiprocessor Realtime OS Kernel
by Thierry Cattel, Thierry Cattel — 1994
… 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
by Grégory Duval, Thierry Cattel — 1997 — In: Proceedings of the 13th annual Hawaii international conference on system sciences (HICSS 30
… 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
by Thierry Cattel Laboratoire, Thierry Cattel — 1995 — In Proceedings of the First SPIN Workshop
…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.
by Process Control Design, Thierry Cattel, Thierry Cattel — 1995 — In Proceedings of the First SPIN Workshop
… Thierry CATTEL 1 1 Laboratoire de Téléinformatique, Ecole Polytechnique Fédérale CH-1015 Lausanne…
Add To MetaCart

Showing 1 through 4.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB