QQ客服 官方微博 反馈留言

浏览/检索结果: 共2条，第1-2条 帮助 已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择发表日期升序发表日期降序作者升序作者降序提交时间升序提交时间降序题名升序题名降序 An approach to extract SMV model from C programs 期刊论文 International Journal of Digital Content Technology and its Applications, 2012, 卷号: 6, 页码: 169-177 作者:  Han, Kunliang[1];  Xu, Qingguo[2];  Yin, Xia[3];  Gui, Yayun[4] 收藏  |  浏览/下载：1/0  |  提交时间：2019/04/30 The system verification of timed automata based on simulation graph 会议论文 2012 6th International Conference on New Trends in Information Science, Service Science and Data Mining (NISS, ICMIA and NASNIT), ISSDM 2012, 2012-10-23 作者:  Gui Yayun[1];  Xu Qingguo[2] 收藏  |  浏览/下载：4/0  |  提交时间：2019/04/30 timed Buchi automata  property satisfaction  clock constraint  lasso path