计算机工程与科学2023，Vol.45Issue(5)：810-819,10.DOI:10.3969/j.issn.1007-130X.2023.05.006
基于时间自动机的AADL端到端流规约验证方法
An AADL end-to-end flow specification verification method based on timed automata
摘要
关键词
实时系统验证/AADL/时间自动机/观察者分类
信息技术与安全科学引用本文复制引用
白先平,姚袭欣,陈香兰,刘翀,李曦..基于时间自动机的AADL端到端流规约验证方法[J].计算机工程与科学,2023,45(5):810-819,10.基金项目
国家自然科学基金(61772482) （61772482）
