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.
Abstract: No abstracts yet.
BibTeX entry
@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
}
Copyright Notice
This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.
