任务行为相关硕士博士期刊学术论文 - 搜论网

任务行为相关论文

任务网络到时间自动机的等价模型验证

针对实时调度理论模型缺乏形式化语义的问题,提出将结果行为的语义转换成系统模型的形式化方法。结合定时分析技术,基于已有的任务......

期刊

事件流任务网络时间自动机映射模型检测任务行为 event stream task network timed automata mapping mod

看过本文同时还关注