MIN Faculty
Department of Informatics
Theoretical Foundations of Computer Science

Bibliography

Verification and Validation Techniques to use UML for Control Systems

Alioune Diagne, Jean-Michel Ilié, and Daniel Moldt.
Verification and validation techniques to use uml for control systems.
In GMA-Fachtagung Steuerungstechnik  Methodik komplexer Anwendungen  Projektierung - Inbetriebnahme - Betrieb, 30.9.-1.10.1997 in Langen, 1997.

Abstract: No abstracts yet.


BibTeX entry



@INPROCEEDINGS{Diagne+97a,
        AUTHOR             = {Diagne, Alioune and Ili{\'e}, Jean-Michel and Moldt, Daniel},
        BOOKTITLE          = {GMA-Fachtagung Steuerungstechnik ~ Methodik komplexer Anwendungen ~ Projektierung - Inbetriebnahme - Betrieb, 30.9.-1.10.1997 in Langen},
        TITLE              = {Verification and Validation Techniques to use UML for Control Systems},
        YEAR               = 1997
}


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.