Formal verification of cyber-physical automation systems modelled with timed block diagrams

D Drozdov, S Patil, V Dubinin… - 2016 IEEE 25th …, 2016 - ieeexplore.ieee.org
In this paper a new modelling approach is presented to be used for formal-verification of
block-diagram executable specifications of distributed industrial cyber-physical systems …
被引用次数：16 相关文章

Formal verification of cyber-physical automation systems modelled with timed block diagrams

D Drozdov, V Dubinin, V Vyatkin, S Patil - IEEE International Symposium …, 2016 - elibrary.ru
In this paper a new modelling approach is presented to be used for formal-verification of
block-diagram executable specifications of distributed industrial cyber-physical systems …
[HTML] diva-portal.org

[HTML][HTML] Formal verification of cyber-physical automation systems modelled with timed block diagrams

D Drozdov, S Patil, VN Dubinin… - 25th IEEE International …, 2016 - diva-portal.org
In this paper a new modelling approach is presented to be used for formal-verification of
block-diagram executable specifications of distributed industrial cyber-physical systems …

Formal Verification of Cyber-Physical Automation Systems Modelled with Timed Block Diagrams

D Drozdov, S Patil, V Dubinin… - … Symposium on Industrial …, 2016 - research.aalto.fi
In this paper a new modelling approach is presented to be used for formal-verification of
block-diagram executable specifications of distributed industrial cyber-physical systems …