需求分析论文

用于模型检查的 UML 状态机语义

一、面向模型检验的UML状态机语义（论文文献综述）肖伟[1]（2021）在《自主化CTCS-3级列控系统新增场景建模及安全分析》文中指出自主化CTCS-3级列控系统在确保高铁列...
用ASP技术扩展生产MIS的查询功能

一、用ASP技术扩展生产MIS的查询功能（论文文献综述）毛兴,孙熙胜,赵煜,陆大雄[1]（2021）在《电网智能WEB平台及电网安全施工管控》文中研究表明近些年,电网系统信息化...