Greifeneder, Jürgen und Georg Frey:
     Probabilistic Timed Automata for Modeling Networked Automation Systems
     Proceedings of the 1st IFAC Workshop on Dependable Control of Discrete Systems DCDS, pp. 143-148, Cachan, France, June 2007


Download full paper: 200706_DCDS-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, 22.06.2007 Impressum