Daniel Dollé

Vital software: Formal method and coded processor

Daniel Dollé, 2006 .

B in Large-Scale Projects: The Canarsie Line CBTC Experience

Daniel Dollé, Didier Essamé, 2007, B.

B dans le tranport ferroviaire. L'expérience de Siemens Transportation Systems

Daniel Dollé, Didier Essamé, Jérôme Falampin, 2003, Tech. Sci. Informatiques.