Formal Modeling and Verification of Flexible Load Control for Power Grid CPS Based on Differential Dynamic Logic
发布时间：2020-05-08
发表刊物：2017 IEEE CONFERENCE ON ENERGY INTERNET AND ENERGY SYSTEM INTEGRATION (EI2)
是否译文：否
发表时间：2017-01-01
论文类型：会议论文