Michel Dauphin

Publication Activity (10 Years)

Years Active: 1992-1993
Publications (10 Years): 0

Publications

Michel Dauphin, Georges Fonade, Rick Reed
Specs: Making Formal Techniques Usable. IEEE Softw. 10 (6) (1993)
Michel Dauphin
SPECS: Formal methods and techniques for telecommunications software development. Microprocess. Microprogramming 35 (1-5) (1992)
Michel Dauphin, Maria Manuela Marques, Alvin P. Mullery, Pierre Rodier
The European Telecommuncations Research and Development Program RACE and its Software Project SPECS. IBM Syst. J. 31 (4) (1992)
Carl Binding, Wiet Bouma, Michel Dauphin, Günter Karjoth, Yan Yang
A Common Compiler for LOTOS and SDL Specifications. IBM Syst. J. 31 (4) (1992)