Formal Verification of Safety Functions by Reinterpretation of Functional Block Based Specifications.

Erzsbet Nmeth, Tams Bartha

Browse the full FMICS paper archive.