计算机应用与软件2022，Vol.39Issue(10)：11-17,34,8.DOI:10.3969/j.issn.1000-386x.2022.10.002
基于B/S架构的实时系统建模验证工具
REAL-TIME SYSTEM MODELING AND VERIFICATION TOOL BASED ON B/S ARCHITECTURE
摘要
关键词
实时系统/时间自动机/形式化验证分类
信息技术与安全科学引用本文复制引用
石安,张卓若,代立云..基于B/S架构的实时系统建模验证工具[J].计算机应用与软件,2022,39(10):11-17,34,8.基金项目
国家自然科学基金项目(61802318,61672435,61811530327). （61802318,61672435,61811530327）
