Pierre Roché

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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

	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

Coauthor Index