Author: Pierre Roché
Publication Overview
Publication period start: 1996
Number of co-authors: 2
Co-Authors
Number of publications with favourite co-authors
Productive Colleagues
Most productive colleagues in number of publications
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.