Executable Micro-Architecture Modeling and Automatic Verification of EtherCAT.
Shun Wang, Xiaojuan Li, Yong Guan, Rui Wang, Jie Zhang
VenueCUIC
Year2018
ProceedingsSmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI
DBLP recordconf/uic/WangLGWZ18 ↗
Browse the full UIC paper archive.