Viktor Shatrov

According to our database¹, Viktor Shatrov authored at least 2 papers between 2020 and 2021.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2021

Promela Formal Modelling and Verification of IEC 61499 Systems with comparison to SMV.

[BibT_eX]

[DOI]

Proceedings of the 19th IEEE International Conference on Industrial Informatics, 2021

2020

Formal Verification of IEC 61499 Enhanced with Timed Events.

[BibT_eX]

[DOI]

Proceedings of the Technological Innovation for Life Improvement, 2020