Bibliography
Verification and Validation Techniques to use UML for the Specification of Reactive Systems
Alioune Diagne, Jean-Michel Ilié, and Daniel Moldt.
Verification and validation techniques to use UML for the
specification of reactive systems.
In In Proceedings (CD-ROM) of Hawaii International Conference on
System Sciences (HICSS'31), Big Island of Hawaii, 6-9 January, 1998.
BibTeX
@INPROCEEDINGS{Diagne+98,
AUTHOR = {Diagne, Alioune and Ili{\'e}, Jean-Michel and Moldt, Daniel},
BOOKTITLE = {In Proceedings (CD-ROM) of Hawaii International Conference on System Sciences (HICSS'31), Big Island of Hawaii, 6--9 January},
TITLE = {Verification and Validation Techniques to use {UML} for the Specification of Reactive Systems},
YEAR = 1998
}
