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

Sandeep Patil, Victor Dubinin, Valeriy Vyatkin

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

11 Citations (Scopus)
Original languageEnglish
Title of host publication1st Symposium on Dependable Software Engineering, Nanjing, China,November, 2015
Place of PublicationGermany
Publication statusPublished - 2015
MoE publication typeA4 Article in a conference publication

Publication series

ISSN (Print)0302-9743

Cite this