Viktor Shatrov
According to our database1,
Viktor Shatrov
authored at least 2 papers
between 2020 and 2021.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2021
Promela Formal Modelling and Verification of IEC 61499 Systems with comparison to SMV.
Proceedings of the 19th IEEE International Conference on Industrial Informatics, 2021
2020
Proceedings of the Technological Innovation for Life Improvement, 2020