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. In François Bodart, Jean Vanderdonckt, editors, Design, Specification and Verification of Interactive Systems 96, Proceedings of the Third International Eurographics Workshop, June 5-7, 1996, Namur, Belgium. pages 105-122, Springer, 1996.
@inproceedings{dAusbourgDR96,
title = {Deriving a Formal Model of an Interactive System from its UIL Description in order to Verify and Test its Behaviour},
author = {Bruno d Ausbourg and Guy Durrieu and Pierre Roché},
year = {1996},
tags = {testing},
researchr = {https://researchr.org/publication/dAusbourgDR96},
cites = {0},
citedby = {0},
pages = {105-122},
booktitle = {Design, Specification and Verification of Interactive Systems 96, Proceedings of the Third International Eurographics Workshop, June 5-7, 1996, Namur, Belgium},
editor = {François Bodart and Jean Vanderdonckt},
publisher = {Springer},
isbn = {3-211-82900-8},
}