|
Search the dblp DataBase
N. Choquet:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- N. Choquet, Laurent Fribourg, A. Mauboussin
Runnable protocol specifications using the logic interpreter SLOG. [Citation Graph (0, 0)][DBLP] PSTV, 1985, pp:149-168 [Conf]
- Luc Bougé, N. Choquet, Laurent Fribourg, Marie-Claude Gaudel
Application of Prolog to Test Sets Generation from Algebraic Specifications. [Citation Graph (0, 0)][DBLP] TAPSOFT, Vol.2, 1985, pp:261-275 [Conf]
- Luc Bougé, N. Choquet, Laurent Fribourg, Marie-Claude Gaudel
Test sets generation from algebraic specifications using logic programming. [Citation Graph (0, 0)][DBLP] Journal of Systems and Software, 1986, v:6, n:4, pp:343-360 [Journal]
Search in 0.001secs, Finished in 0.001secs
|