Login / Signup
Pierre Roché
Publication Activity (10 Years)
Years Active: 1996-1998
Publications (10 Years): 0
</>
Publications
</>
Bruno d'Ausbourg
,
Christel Seguin
,
Guy Durrieu
,
Pierre Roché
Helping the Automated Validation Process of User Interfaces Systems.
ICSE
(1998)
Bruno d'Ausbourg
,
Guy Durrieu
,
Pierre Roché
Deriving a Formal Model of an Interactive System from its UIL Description in order to Verify and Test its Behaviour.
DSV-IS
(1996)