Zobrazeno 1 - 1
of 1
pro vyhledávání: '"model checking verification tool"'
Publikováno v:
IET Cyber-Physical Systems (2020)
This study presents a formal description and verification method of the ontology transformation process of the distribution network information model based on the meta-model theory. By defining the dynamic change structures and model mapping constrai
Externí odkaz:
https://doaj.org/article/753015d973334150ad33e973a09cbc09
