QQ客服 官方微博 反馈留言

浏览/检索结果: 共3条，第1-3条 帮助 限定条件 内容类型：学位论文     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 checking timed buchi automata emptiness using lu-abstractions 学位论文 2009 Li Guangyuan 收藏  |  浏览/下载：11/0  |  提交时间：2011/03/20 Approximation theory  Extrapolation  Robots  Time sharing systems  Translation (languages)   LTLC:面向实时与混成系统的连续时序逻辑 学位论文 博士, 中国科学院软件研究所: 中国科学院软件研究所, 2001 李广元 收藏  |  浏览/下载：19/0  |  提交时间：2011/03/17 实时系统  混成系统  时序逻辑  实时逻辑  规范语言  系统刻画语言  可满足性  可判定性  模型检查   一阶三值逻辑系统TL与三值模型论初步 学位论文 1989 作者:  李广元 收藏  |  浏览/下载：0/0  |  提交时间：2020/01/05