搜索到 篇“ 反应式系统 “的相关文章

相关作者

张广泉
作品数:231被引量:710H指数:14
供职机构:苏州大学计算机科学与技术学院
研究主题:软件体系结构 UML XYZ/E XYZ/ADL 形式化方法
齐治昌
作品数:135被引量:886H指数:16
供职机构:国防科学技术大学计算机学院计算机科学与技术系
研究主题:软件工程 软件开发 UML AGENT 实时系统
王戟
作品数:207被引量:1,609H指数:19
供职机构:国防科学技术大学
研究主题:软件测试 软件开发 软件工程 时序逻辑 自动机
乔颖
作品数:60被引量:118H指数:6
供职机构:中国科学院软件研究所
研究主题:截止期 可预测性 调度器 实时任务调度 智能体
董威
作品数:163被引量:573H指数:11
供职机构:国防科学技术大学
研究主题:软件工程 配置项 UML 语义 监控器