Formal modeling and verification of IEC 61499 function blocks on the basis of transition systems

V Dubinin, V Vyatkin, A Shalyto - 2016 International Siberian …, 2016 - ieeexplore.ieee.org
The IEC 61499 standard has become one of the key approaches to building distributed
component-based control systems in industrial automation. The problem of adoption of this …
被引用次数：10 相关文章

Formal modeling and verification of IEC 61499 function blocks on the basis of transition systems

VN Dubinin, V Vyatkin, A Shalyto - … : 12/05/2016-14/05/2016, 2016 - diva-portal.org
The IEC 61499 standard has become one of the key approaches to building distributed
component-based control systems in industrial automation. The problem of adoption of this …

Formal modeling and verification of IEC 61499 function blocks on the basis of transition systems

V Dubinin, V Vyatkin, A Shalyto - International Siberian Conference …, 2016 - research.aalto.fi
The IEC 61499 standard has become one of the key approaches to building distributed
component-based control systems in industrial automation. The problem of adoption of this …
[PDF] ifmo.ru

[PDF][PDF] Formal modeling and verification of IEC 61499 function blocks on the basis of transition systems

V Dubinin, V Vyatkin, A Shalyto - is.ifmo.ru
The IEC 61499 standard has become one of the key approaches to building distributed
component-based control systems in industrial automation. The problem of adoption of this …

[引用][C] Formal modeling and verification of IEC 61499 function blocks on the basis of transition systems

V Dubinin, V Vyatkin, A Shalyto - 2016 International Siberian Conference …, 2016 - elibrary.ru
Formal modeling and verification of IEC 61499 function blocks on the basis of transition
systems КОРЗИНА ПОИСК НАВИГАТОР ЖУРНАЛЫ КНИГИ ПАТЕНТЫ ПОИСК АВТОРЫ …