ISN国家重点实验室(西安电子科技大学),陕西西安710071;
西安电子科技大学计算理论与技术研究所,陕西西安710071;
ISN国家重点实验室(西安电子科技大学),陕西西安710071;
西安电子科技大学计算理论与技术研究所,陕西西安710071;
ISN国家重点实验室(西安电子科技大学),陕西西安710071;
西安电子科技大学计算理论与技术研究所,陕西西安710071;
ISN国家重点实验室(西安电子科技大学),陕西西安710071;
西安电子科技大学计算理论与技术研究所,陕西西安710071;
嵌套中断系统; 投影时序逻辑; MSVL(modeling,simulation and verification language); 形式化建模与验证;