Specification and verification of safety related automation applications based on function blocks

Wei Zhang 0036. Specification and verification of safety related automation applications based on function blocks. PhD thesis, FernUniversität Hagen, 2006. [doi]

Abstract

Abstract is missing.