Formal Verification of IEC61499 Function Blocks with Abstract State Machines and SMV - Modelling.

Sandeep Patil, Victor Dubinin, Valeriy Vyatkin

Browse the full TrustCom paper archive.