Closed-loop verification of a compensating group drive model using synthesized formal plant model
P Ovsiannikova, D Chivilikhin… - 2017 22nd IEEE …, 2017 - ieeexplore.ieee.org
Cyber-physical systems are spread among multiple domains of human activity. Their
behavior should be strictly validated as most of them are critical. One perspective direction of …
behavior should be strictly validated as most of them are critical. One perspective direction of …
[PDF][PDF] Closed-loop verification of a compensating group drive model using synthesized formal plant model
PH Ovsiannikova, D ChiviHkhin, V Ulyantsev… - scholar.archive.org
Cyber-physical systems are spread among multiple domains of human activity. Their
behavior should be strictly validated as most of them are critical. One perspective direction of …
behavior should be strictly validated as most of them are critical. One perspective direction of …
[引用][C] Closed-loop verification of a compensating group drive model using synthesized formal plant model
P Ovsiannikova, D Chivilikhin, V Ulyantsev… - … and Factory Automation …, 2018 - elibrary.ru
Closed-loop verification of a compensating group drive model using synthesized formal
plant model КОРЗИНА ПОИСК НАВИГАТОР ЖУРНАЛЫ КНИГИ ПАТЕНТЫ ПОИСК …
plant model КОРЗИНА ПОИСК НАВИГАТОР ЖУРНАЛЫ КНИГИ ПАТЕНТЫ ПОИСК …
Closed-loop verification of a compensating group drive model using synthesized formal plant model
P Ovsiannikova, D Chivilikhin, V Ulyantsev… - 2017 22nd IEEE …, 2017 - dl.acm.org
Cyber-physical systems are spread among multiple domains of human activity. Their
behavior should be strictly validated as most of them are critical. One perspective direction of …
behavior should be strictly validated as most of them are critical. One perspective direction of …
[PDF][PDF] Closed-loop verification of a compensating group drive model using synthesized formal plant model
PH Ovsiannikova, D ChiviHkhin, V Ulyantsev… - academia.edu
Cyber-physical systems are spread among multiple domains of human activity. Their
behavior should be strictly validated as most of them are critical. One perspective direction of …
behavior should be strictly validated as most of them are critical. One perspective direction of …
[PDF][PDF] Closed-loop verification of a compensating group drive model using synthesized formal plant model
PH Ovsiannikova, D ChiviHkhin, V Ulyantsev… - ctlab.itmo.ru
Cyber-physical systems are spread among multiple domains of human activity. Their
behavior should be strictly validated as most of them are critical. One perspective direction of …
behavior should be strictly validated as most of them are critical. One perspective direction of …