Home
Channels
Blogs
Sign In
Create an Account
Channels
Blogs
SUBMIT RESEARCH
SIGN IN
JOIN NOW
Valeriy V Vyatkin
Software Engineering
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