| 一、基本信息 | ||||||||||||||||||||||
|
|
|||||||||||||||||||||
| 二、目前主要研究方向及简介 | ||||||||||||||||||||||
| 1、编译技术及应用 2、软件测试方法和工具 | ||||||||||||||||||||||
| 三、学习经历 | ||||||||||||||||||||||
| 四、工作经历 | ||||||||||||||||||||||
| 五、社会兼职 | ||||||||||||||||||||||
| 六、研究成果与获奖情况 | ||||||||||||||||||||||
| 七、代表论著 | ||||||||||||||||||||||
1、唐稚松、赵琛，一种面向软件工程的时序逻辑语言，软件学报，Vol. 5,No.12 1994 2、赵琛, 面向媒体时序描述的带时间自动机的自动构造方法,计算机学报，1999，Vol 22, No.12, pp1289-1294。 3、赵琛，媒体时序描述的完全性和协调性，计算机学报，Vol.23,No.7, July 2000,pp750-755。 | ||||||||||||||||||||||
| 八、承担项目 | ||||||||||||||||||||||
