Toward Liveness Verification in Java Pathfinder
Toward Liveness Verification in Java Pathfinder
复制标题
Java Pathfinder 中的活性验证
DOI：
--
复制
发表时间：
2009
期刊：
影响因子：
--
通讯作者：
Masami Hagiya
中科院分区：
文献类型：
--
作者：
Yoshinori Tanabe;Vinh Cuong Tran;Masami Hagiya
登录
查看更多内容
通过自动形式验证对协作机器人进行安全评估
影响因子：
7.8
作者：
F. Vicentini;M. Askarpour;M. Rossi;D. Mandrioli
通讯作者：
D. Mandrioli
DOI：
10.1007/978-3-319-61756-5
发表时间：
2015
期刊：
--
影响因子：
--
作者：
T. Kanade;J. Kittler;John C. Mitchell;M. Naor
通讯作者：
M. Naor
全局协议作为自适应代理的一流实体
DOI：
--
发表时间：
2015
期刊：
Adaptive Agents and Multi-Agent Systems
影响因子：
--
作者：
D. Ancona;D. Briola;Angelo Ferrando;V. Mascardi
通讯作者：
V. Mascardi
实时决策的逻辑、自动机和经典理论
DOI：
--
发表时间：
1999
期刊：
影响因子：
--
作者：
Jean
通讯作者：
Jean
从模型检查到运行时验证并返回
DOI：
10.1007/978-3-319-67531-2_14
发表时间：
2017
期刊：
--
影响因子：
--
作者：
Katarína Kejstová;Petr Ročkai;J. Barnat
通讯作者：
J. Barnat