| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 1999 | |
|---|---|---|
| 5 |      | Grégory Duval, Thierry Cattel: Developing Safe Concurrent and Distributed Applications with an Architectural Environment. TOOLS (29) 1999: 20-32 |
| 1998 | ||
| 4 | | Grégory Duval: Specification and Verification of an Object Request Broker. ICSE 1998: 43-52 |
| 1997 | ||
| 3 | | Grégory Duval, Thierry Cattel: From Architecture Down to Implementation of Safe Process Control Applications. HICSS (1) 1997: 24-33 |
| 1995 | ||
| 2 | | Thierry Cattel, Grégory Duval: The Steam-Boiler Problem in Lustre. Formal Methods for Industrial Applications 1995: 149-164 |
| 1 | | Grégory Duval, Thierry Cattel: Specifying and Verifying the Steam-Boiler Problem with SPIN. Formal Methods for Industrial Applications 1995: 203-217 |
| 1 | Thierry Cattel | [1] [2] [3] [5] |
Data released under the ODC-BY 1.0 license — See also our legal information page