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.
@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 }