|
[GF06b]
J. Greifeneder and G. Frey.
Determination of Delay Times in Failure Afflicted Networked Automation Systems using Probabilistic Model Checking.
In Proc. 6th IEEE International Workshop on Factory Communication Systems (WFCS'06), pages 263-272.
June 2006.
[bib]
http://www.eit.uni-kl.de/frey/en/people/Juergen/Publics/papers.html
|
|
Downloads:
 bib
|
|
Links:
[Google]
[Google Scholar]
|