搜索到 篇“ 时序逻辑语言 “的相关文章

相关作者

唐稚松
作品数：34被引量：253H指数：10
供职机构：中国科学院
研究主题：时序逻辑语言 XYZ/E 时序逻辑 软件工程 XYZ系统
张广泉
作品数：234被引量：713H指数：14
供职机构：苏州大学计算机科学与技术学院
研究主题：软件体系结构 UML XYZ/E XYZ/ADL 形式化方法
郭亮
作品数：38被引量：45H指数：5
供职机构：中国科学院软件研究所
研究主题：MVB XYZ/E 电路单元 时序逻辑语言 列车网络
王小兵
作品数：202被引量：222H指数：8
供职机构：西安电子科技大学
研究主题：时序逻辑 语句 数字仿真 词法 仿真
金旗铭
作品数：2被引量：2H指数：1
供职机构：苏州大学计算机科学与技术学院
研究主题：精化 逻辑语言 时序逻辑语言 体系结构 XYZ/E