Dan
【姓名】 Dan
【职称】
【研究领域】 计算机软件及计算机应用;
【研究方向】
【发表文献关键词】 模型验证,实时系统,实时自动机,类并,共享变量,后节点,等价类,段特性,Macau,Report,共享变量集,元组,向量,等价关系,意格,后继节点,空间效率,兼容关系,联合国大学,双向模拟,
【工作单位】 澳门联合国大学
【曾工作单位】 澳门联合国大学;
【所在地域】 澳门
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/1 1 1 0 1 89
中国期刊全文数据库    共找到1篇
[1]赵建华,郑国梁,Dan Van Hung.一类并发实时系统的自动验证[J]软件学报.2000,(02)
更多