Journals
Cureus Journal of Engineering
Cureus Journal of Computer Science
Cureus Journal of Business and Economics
Cureus for you
Manuscript Authors
Peer Reviewers
Universities and Institutes
About Open Access
Scopes
Author and Reviewer Guidelines
FAQs
About Cureus Journals
Contact Cureus Journals
Channels
About Channels
Browse Channels
Blogs
Submit your Research
Sign in
Menu
Submit your Research
Journals
Cureus Journal of Engineering
Cureus Journal of Computer Science
Cureus Journal of Business and Economics
Cureus for you
Manuscript Authors
Peer Reviewers
Universities and Institutes
About Open Access
Scope
Author and Reviewer Guidelines
FAQs
About Cureus Journals
Contact Cureus Journals
Channels
About Channels
Browse Channels
Blogs
Sign In
Create an Account
Search articles
Valeriy V Vyatkin
Software Systems
Primary Journal - Cureus Journal of Computer Science
Create your FREE profile now!
Join the discussion with researchers around the globe - sign up for your free Cureus account today.
JOIN CUREUS
About
Reviewer Keywords
IEC 61499
architecture
system
control system
cyber-physical systems
industrial automation systems
automation
formal verification
industrial automation
verification
Computer Science
IEC
automated system
functional blocks
software
Reviewer Categories
Mechatronics and Robotics
Advanced Manufacturing Technologies
Engineering Management
Mining Robotics and Automation