| |
| 1998 | ||
|---|---|---|
| 2 | Bruno d'Ausbourg, Christel Seguin, Guy Durrieu, Pierre Roché: Helping the Automated Validation Process of User Interfaces Systems. ICSE 1998: 219-228 | |
| 1996 | ||
| 1 | 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: 105-122 | |
| 1 | Guy Durrieu | [1] [2] |
| 2 | Christel Seguin | [2] |
| 3 | Bruno d'Ausbourg | [1] [2] |