Greifeneder, Jürgen und Georg Frey:
    Analyse des Antwortverhaltens vernetzter Automatisierungssysteme mittels Probabilistic Model Checking
    Proceedings of 9th Symposium on Entwurf komplexer Automatisierungssysteme (EKA 2006), Braunschweig, Germany, pp.131-151, May 2006.


Download full paper: 200605_EKA-GreifenederFrey.pdf

Copyright notice: This material is presented to ensure dissemination of scholarly and technical work. Copyright and all rights therein are retained by the 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. These works or parts of it may not be used to repost reprint/republish or for creating new collective works for resale or redistribution to servers or lists without the explicit permission of the copyright holder.


Jürgen Greifeneder, 23.07.2009 Impressum