Login / Signup

III-Phase Verification and Validation of IEC Standard Programmable Logic Controller.

Devinder ThapaChang Mok ParkSuraj DangolGi-Nam Wang
Published in: CIMCA/IAWTIC (2006)
Keyphrases
  • control system
  • programmable logic controller
  • distributed systems
  • formal verification
  • databases
  • petri net
  • hardware and software
  • artificial intelligence
  • data analysis
  • manufacturing systems