Data-Centric Lifecycle Integrity Validation for IEC 61508 Using Executable Documentation.

Padma Iyenghar, Christopher Zimmer, Claudio Gregorio

Browse the full DATA paper archive.