|
[BRS17]
Zeeshan E. Bhatti, Partha S. Roop and Roopak Sinha.
Unified Functional Safety Assessment of Industrial Automation Systems.
IEEE Transactions on Industrial Informatics, 13(1), pages 17-26.
2017.
[Uses probabilistic model checking and PRISM to analyse IEC 61499 designs for industrial automation systems.]
|
|
Links:
[Google]
[Google Scholar]
|