-
1دورية أكاديمية
المصدر: IET Cyber-Physical Systems (2020)
مصطلحات موضوعية: formal verification, formal specification, ontologies (artificial intelligence), model updating, distribution network information model, meta-model theory, ontology transformation process, model mapping constraints, model checking verification tool, spin, Computer engineering. Computer hardware, TK7885-7895, Electronic computers. Computer science, QA75.5-76.95
وصف الملف: electronic resource
العلاقة: https://digital-library.theiet.org/content/journals/10.1049/iet-cps.2020.0018Test; https://doaj.org/toc/2398-3396Test
-
2
المؤلفون: Yiming Lu, Boya Qin, Pan Zhang, Kairui Wang, Xiaofang Xiong, Dong Liu
المصدر: 2016 China International Conference on Electricity Distribution (CICED).
مصطلحات موضوعية: Theoretical computer science, Computer science, 010401 analytical chemistry, Runtime verification, 020207 software engineering, 02 engineering and technology, Formal methods, 01 natural sciences, Formal system, 0104 chemical sciences, Linear temporal logic, Information model, Formal specification, 0202 electrical engineering, electronic engineering, information engineering, Backus–Naur Form, Formal verification
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_________::ce9fa476c233d2d59f21602d56a8d2aeTest
https://doi.org/10.1109/ciced.2016.7576365Test