QQ客服 官方微博 反馈留言

浏览/检索结果: 共5条，第1-5条 帮助 限定条件 内容类型：会议论文     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 Java Software for Petri-Net-Based Approaches to Discrete Event Systems 会议论文 作者:  Wang, Xiaojun;  Han, Chun;  Hu, Hesuan 收藏  |  浏览/下载：9/0  |  提交时间：2019/11/19 Graphical interface  Inequality analysis  Java language  Minimal siphons  Reachability graphs  Search Algorithms  Simulation platform  Software platforms   Refining the pointer analysis by exploiting constraints on the CFL-paths 会议论文 20th Asia-Pacific Software Engineering Conference (APSEC), Chulalongkorn Univ, Fac Engn, Dept Comp Engn, Bangkok, THAILAND, 2013-01-01 作者:  Sun, Xiaoshan;  Cheng, Liang;  Zhang, Yang;  Deng, Yi;  Hou, Jingbiao 收藏  |  浏览/下载：4/0  |  提交时间：2020/01/06 pointer analysis  CFL-reachability problem  program analysis  constraints solving   TERMINATION ANALYSIS OF SAFETY VERIFICATION FOR NON-LINEAR ROBUST HYBRID SYSTEMS 会议论文 ICINCO 2011: PROCEEDINGS OF THE 8TH INTERNATIONAL CONFERENCE ON INFORMATICS IN CONTROL, AUTOMATION AND ROBOTICS, VOL 1, 2011-01-01 作者:  She, Zhikun 收藏  |  浏览/下载：3/0  |  提交时间：2020/01/06 Robust hybrid systems  Abstraction refinement  Reachability constraints  Termination analysis   Petri net model of session initiation protocol and its verification 会议论文 Shanghai, China, September 21, 2007 - September 25, 2007 作者:  Yang, Peng;  Yuan, Zhanting;  Wang, Jizeng 收藏  |  浏览/下载：18/0  |  提交时间：2020/11/15 Network protocols  Risk analysis  Telecommunication services  Trees (mathematics)  Protocol verification  Reachability tree  Session Initiation Protocol (SIP)   Verification of the control system performance using viability theory 会议论文 Barcelona, Spain 【关键词】, 2017 作者:  JavadPoshtan;  MajidGhanieeZarch;  Puig;  Vicenç 收藏  |  浏览/下载：0/0  |  提交时间：2019/12/24 Kernel  Control  systems  Reachability  analysis  Information  technology  Electronic  mail  Nonlinear  systems  Safety