Laurent Doldi

Validation of Communications Systems with SDL: The Art of SDL Simulation and Reachability Analysis

Laurent Doldi, 2003 .

VEDA 2: Power to the protocol designers

Laurent Doldi, P. Gauthier, 1992, FORTE.

Use of SDL to specify Airbus Future Air Navigation Systems

Laurent Doldi, François Goudenove, 1995 .

Assessment of automatic generation methods of conformance test suites in an industrial context

Thierry Jéron, Laurent Doldi, Jean-Claude Fernandez, 1996 .