|
Search the dblp DataBase
A. Mauboussin:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Michel Bidoit, Marie-Claude Gaudel, A. Mauboussin
How to Make Algebraic Specifications More Understandable?. [Citation Graph (0, 0)][DBLP] Algebraic Methods, 1987, pp:31-67 [Conf]
- A. Mauboussin, H. Perdrix, Michel Bidoit, Marie-Claude Gaudel, Jacques Hagelstein
From an ERAE Requirements Specification to a PLUSS Algebraic Specificatiaon: A Case Study. [Citation Graph (0, 0)][DBLP] Algebraic Methods, 1989, pp:395-431 [Conf]
- 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]
- Michel Bidoit, Marie-Claude Gaudel, A. Mauboussin
How to Make Algebraic Specifications More Understandable: An Experiment with the PLUSS Specification Language. [Citation Graph (0, 0)][DBLP] Sci. Comput. Program., 1989, v:12, n:1, pp:1-38 [Journal]
Search in 0.002secs, Finished in 0.002secs
|