连续时间时序逻辑LTLC的公理化和可判定性研究
60273025
2002
F0201.计算机科学的基础理论
李广元
面上项目
研究员
中国科学院软件研究所
22万元
公理化;可判定性.;连续时间时序逻辑.
2003-01-01到2005-12-31
- 中英文摘要
- 结题摘要
- 结题报告
- 项目成果
- 项目参与人
查看更多信息请先登录或注册
查看更多信息请先登录或注册
查看更多信息请先登录或注册
| 序号 | 标题 | 类型 | 作者 |
|---|---|---|---|
| 1 | Translating a Continuous-Time Temporal Logic into Timed Automata | 会议论文 | 李广元|唐稚松| |
| 2 | 反应系统的连续时序逻辑表示和验证 | 期刊论文 | 李广元|唐稚松| |
| 3 | 基于时序逻辑的软件体系结构描述语言XYZ/ADL | 期刊论文 | 朱雪阳|唐稚松| |
| 4 | 有限精度时间自动机的可达性检测 | 期刊论文 | 晏荣杰|李广元|徐雨波|刘春明|唐稚松.| |
| 5 | Symbolic Model Checking of Finite Precision Timed Automata, | 会议论文 | 晏荣杰|李广元|唐稚松| |
| 6 | Formal Specification and Model Checking of CSMA/CA Using Finite Precision Timed Automata | 期刊论文 | 李亮|马华东|李广元| |
| 7 | Statecharts的组合语义与求精 | 期刊论文 | 朱雪阳|唐稚松| |
查看更多信息请先登录或注册
