|
Search the dblp DataBase
Grégory Duval:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Thierry Cattel, Grégory Duval
The Steam-Boiler Problem in Lustre. [Citation Graph (0, 0)][DBLP] Formal Methods for Industrial Applications, 1995, pp:149-164 [Conf]
- Grégory Duval, Thierry Cattel
Specifying and Verifying the Steam-Boiler Problem with SPIN. [Citation Graph (0, 0)][DBLP] Formal Methods for Industrial Applications, 1995, pp:203-217 [Conf]
- Grégory Duval, Thierry Cattel
From Architecture Down to Implementation of Safe Process Control Applications. [Citation Graph (0, 0)][DBLP] HICSS (1), 1997, pp:24-33 [Conf]
- Grégory Duval
Specification and Verification of an Object Request Broker. [Citation Graph (0, 0)][DBLP] ICSE, 1998, pp:43-52 [Conf]
- Grégory Duval, Thierry Cattel
Developing Safe Concurrent and Distributed Applications with an Architectural Environment. [Citation Graph (0, 0)][DBLP] TOOLS (29), 1999, pp:20-32 [Conf]
Search in 0.001secs, Finished in 0.001secs
|