Formal Verification of IEC61499 Function Blocks with Abstract State Machines and SMV -- Modelling
Research article (2015 IEEE Trustcom/BigDataSE/ISPA, 2015) · cited 22× · AI/ML