Modular plant model synthesis from behavior traces and temporal properties

Igor Buzhinsky, Valeriy Vyatkin. Modular plant model synthesis from behavior traces and temporal properties. In 22nd IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2017, Limassol, Cyprus, September 12-15, 2017. pages 1-7, IEEE, 2017. [doi]

Authors

Igor Buzhinsky

This author has not been identified. Look up 'Igor Buzhinsky' in Google

Valeriy Vyatkin

This author has not been identified. Look up 'Valeriy Vyatkin' in Google