计算机工程与应用2024，Vol.60Issue(12)：P.303-313,11.DOI:10.3778/j.issn.1002-8331.2303-0262
状态轮询和事件驱动的软件状态机设计优化
摘要
关键词
软件状态机/图同构/状态等价性/时间复杂度/圈复杂度分类
信息技术与安全科学引用本文复制引用
孙来平,虞翊,楚彭子..状态轮询和事件驱动的软件状态机设计优化[J].计算机工程与应用,2024,60(12):P.303-313,11.基金项目
国家重点研发计划(2016YFB1200602-02) （2016YFB1200602-02）
上海市科学技术委员会科研计划(18DZ1205800) （18DZ1205800）
上海市多网多模式轨道交通协同创新中心资助。 （）
