张高
【姓名】 张高
【职称】
【研究领域】 计算机软件及计算机应用;
【研究方向】
【发表文献关键词】 LOTOS,交互式用户界面,ACTL,模型检查,时序逻辑,用户界面,形式化方法,形式化描述,交互对象,标号转移系统,算子,多通道,通用模型,交互式系统,行描述,系统模型,形式化,系统性质,反应式系统,...
【工作单位】 中国科学院软件研究所
【曾工作单位】 中国科学院软件研究所;
【所在地域】 北京
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/1 1 1 0 49 330
中国期刊全文数据库    共找到1篇
[1]朱军,张高,华庆一,戴国忠.交互式用户界面的形式化描述与性质验证[J]软件学报.1999,(11)
更多