Formal Verification of IEC 61499 Function Blocks with Abstract State Machines and SMV Modelling

Sandeep Patil, Victor Dubinin, Valeriy Vyatkin

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

18 Citations (Scopus)
Original languageEnglish
Title of host publicationFirst International workshop on Distributed Intelligent Automation Systems at 13th IEEE International Symposium on Parallel and Distributed Processing with Applications (IEEE ISPA'15) Helsinki, 2015
Place of PublicationUnited States
Publication statusPublished - 2015
MoE publication typeA4 Article in a conference publication

Publication series

ISSN (Print)2158-9178

Cite this