Login / Signup
Grégory Duval
Publication Activity (10 Years)
Years Active: 1995-1999
Publications (10 Years): 0
</>
Publications
</>
Grégory Duval
,
Thierry Cattel
Developing Safe Concurrent and Distributed Applications with an Architectural Environment.
TOOLS (29)
(1999)
Grégory Duval
Specification and Verification of an Object Request Broker.
ICSE
(1998)
Grégory Duval
,
Thierry Cattel
From Architecture Down to Implementation of Safe Process Control Applications.
HICSS (1)
(1997)
Thierry Cattel
,
Grégory Duval
The Steam-Boiler Problem in Lustre.
Formal Methods for Industrial Applications
(1995)
Grégory Duval
,
Thierry Cattel
Specifying and Verifying the Steam-Boiler Problem with SPIN.
Formal Methods for Industrial Applications
(1995)