Login / Signup

Executable Micro-Architecture Modeling and Automatic Verification of EtherCAT.

Shun WangXiaojuan LiYong GuanRui WangJie Zhang
Published in: SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI (2018)
Keyphrases
  • real time
  • modeling method
  • distributed architecture
  • databases
  • data mining
  • web services
  • management system
  • software architecture
  • architectural design