Login / Signup
Formal verification of ontology transformation for distribution network information model based on meta-model theory.
Boya Qin
Dong Liu
Yiming Lu
Published in:
IET Cyper-Phys. Syst.: Theory & Appl. (2020)
Keyphrases
</>
metamodel
formal verification
life cycle
distribution network
artificial intelligence