-
1
المصدر: IET Cyber-Physical Systems (2020)
مصطلحات موضوعية: lcsh:Computer engineering. Computer hardware, Theoretical computer science, Distribution networks, Computer Networks and Communications, Computer science, distribution network information model, ontologies (artificial intelligence), model mapping constraints, lcsh:TK7885-7895, Ontology (information science), spin, lcsh:QA75.5-76.95, ontology transformation process, Artificial Intelligence, Formal specification, Electrical and Electronic Engineering, formal verification, Formal verification, Spin-½, formal specification, model updating, Computer Science Applications, Metamodeling, meta-model theory, model checking verification tool, Transformation (function), Information model, lcsh:Electronic computers. Computer science, Information Systems
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6f5f7ae577f32fd3eb8d81d77399a8d7Test
https://doi.org/10.1049/iet-cps.2020.0018Test -
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 -
3
المؤلفون: Zhebo Wang, Minjian Zhao, Yunlong Cai, Jie Zhong, Boya Qin
المصدر: WCSP
مصطلحات موضوعية: Computer science, Iterative method, Code division multiple access, Node (networking), Real-time computing, Estimator, Data_CODINGANDINFORMATIONTHEORY, law.invention, Relay, law, Channel state information, Algorithm, Relay channel, Computer Science::Information Theory, Communication channel
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_________::9718d480ffbc71f21298ee99f012c12cTest
https://doi.org/10.1109/wcsp.2013.6677175Test