Author: Guy Durrieu

Guy Durrieu

Guy Durrieu

Publications

Publication period start: 1996
Publication period end: 1996
Number of co-authors: 2

Co-authors

Number of publications with favourite co-authors
Bruno d\'Ausbourg
1
Pierre Roché
1

Productive Colleagues

Most productive colleagues in number of publications
Bruno d\'Ausbourg
1
Pierre Roché
1

Publications

d\'Ausbourg, Bruno, Durrieu, Guy, Roché, Pierre (1996): Deriving a Formal Model of an Interactive System from its UIL Description in order to Veri. In: Bodart, Francois, Vanderdonckt, Jean M. (eds.) DSV-IS 1996 - Design, Specification and Verification of Interactive Systems96, Proceedings of the Third International Eurographics Workshop June 5-7, 1996, Namur, Belgium. pp. 105-122.