Greifeneder, Jürgen und Georg Frey:
     Determination of Delay Times in Failure Afflicted Networked Automation Systems using Probabilistic Model Checking
     Proceedings of 6th IEEE International Workshop on Factory Communication Systems (WFCS 2006), Torino, Italy, pp. 263-272, June 28-31, 2006.


Download full paper: 200606_WFCS-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, 26.09.2006 Impressum