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.
Kurzfassung: Bisher nicht verfügbar.
@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 }
Diese Informationen werden zur Verfügung gestellt, um technische und Forschungsarbeiten zeitnah bekannt zu geben. Das Urheberrecht und alle damit verbundenen Rechte verbleiben bei den Autoren bzw. anderen Rechteinhabern. Von jedem, der Informationen dieser Seiten übernimmt, wird erwartet, dass er sich an die jeweiligen Bedingungen und Beschränkungen der Rechteinhaber hält. Meist bedeutet dies, dass die hier bereitgestellten Daten nicht ohne explizite Genehmigung der Rechteinhaber weiterveröffentlicht werden dürfen.