Boya Qin, Dong Liu, Yiming Lu. Formal verification of ontology transformation for distribution network information model based on meta-model theory. IET Cyper-Phys. Syst.: Theory & Appl., 5(4):388-393, 2020. [doi]
@article{QinLL20-0,
title = {Formal verification of ontology transformation for distribution network information model based on meta-model theory},
author = {Boya Qin and Dong Liu and Yiming Lu},
year = {2020},
doi = {10.1049/iet-cps.2020.0018},
url = {https://doi.org/10.1049/iet-cps.2020.0018},
researchr = {https://researchr.org/publication/QinLL20-0},
cites = {0},
citedby = {0},
journal = {IET Cyper-Phys. Syst.: Theory & Appl.},
volume = {5},
number = {4},
pages = {388-393},
}