Modular plant model synthesis from behavior traces and temporal properties - researchr publication related

researchr

You are not signed in
Sign in
Sign up

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]

The following publications are possibly variants of this publication:

Automatic Inference of Finite-State Plant Models From Traces and Temporal PropertiesIgor Buzhinsky, Valeriy Vyatkin. tii, 13(4):1521-1530, 2017. [doi]

runs on WebDSL