Month: April 2015

Formal Methods in Automation Systems Verification and Testing

V. Dubinin, A. Voinov, I. Senokosov, V. Vyatkin, Implementation of state transition models in IEC 61499 and its use for recognition and selection of sequences of events and objects, IEEE International Conference on Industrial Informatics, Helsinki-Espoo, July, 2019 S. Patil, V. Vyatkin, C. Pang, “Counterexample-Guided Simulation Framework for Formal Verification of Flexible Automation Systems”, IEEE International Formal Methods in Automation Systems Verification and Testing