Michel Dauphin

According to our database, Michel Dauphin authored at least 4 papers between 1992 and 1993.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

1993

Specs: Making Formal Techniques Usable.

Michel Dauphin, Georges Fonade, Rick Reed

IEEE Softw., 1993

1992

SPECS: Formal methods and techniques for telecommunications software development.

Michel Dauphin

Microprocess. Microprogramming, 1992

The European Telecommuncations Research and Development Program RACE and its Software Project SPECS.

Michel Dauphin, Maria Manuela Marques, Alvin P. Mullery, Pierre Rodier

IBM Syst. J., 1992

A Common Compiler for LOTOS and SDL Specifications.

Carl Binding, Wiet Bouma, Michel Dauphin, Günter Karjoth, Yan Yang

IBM Syst. J., 1992