Login / Signup

Towards an OPC UA Compliant Programming Approach with Formal Model of Computation for Dynamic Reconfigurable Automation Systems.

Udayanto Dwi AtmojoValeriy Vyatkin
Published in: INDIN (2019)
Keyphrases
  • formal model
  • formal models
  • dynamic environments
  • low cost
  • security properties
  • predicate calculus
  • programming language
  • object oriented programming
  • probabilistic knowledge