Simulation and verification of DIMA dynamic reconfiguration based on formal method
Jiachen LIU, Lei DONG, Changxiao ZHAO, Hongbing CHEN
Systems Engineering and Electronics . 2022, (4): 1282 -1290 .  DOI: 10.12305/j.issn.1001-506X.2022.04.26

京ICP备11035014号-5
Copyright © Editorial Office of Journal of Systems Engineering and Electronics, Beijing Institute of Aerospace Information
TEL: 86-10-68388406/68386014    E-mail：xtgcydzjs@126.com(系统工程与电子技术)/jseeoffice@126.com(JSEE)
Support by Beijing Magtech Co.ltd.