Proof system for Realizability Decision of Reactive System Specification described by Temporal Logic
Proof system for Realizability Decision of Reactive System Specification described by Temporal Logic
时态逻辑描述的反应式系统规范可实现性决策的证明系统
批准号：
16K00010
负责人：
Yoshiura Noriaki
金额：
$2.91万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2016
资助国家：
日本
项目状态：
已结题
起止时间：
2016-04-01 至 2020-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
Packet Reachability Verification in OpenFlow Networks
OpenFlow 网络中的数据包可达性验证
OpenFlow 网络中的数据包可达性验证
DOI：
10.1145/3384544.3384573
发表时间：
2020
期刊：
Proceedings of the 2020 9th International Conference on Software and Computer Applications
影响因子：
--
作者：
[Yoshiura Noriaki, Sugiyama Keigo]
通讯作者：
Sugiyama Keigo
A Method of Collecting the IP Addresses of Hidden Server in Tor Networks
一种收集Tor网络中隐藏服务器IP地址的方法
一种收集Tor网络中隐藏服务器IP地址的方法
DOI：
10.1145/3384544.3384589
发表时间：
2020
期刊：
Proceedings of the 2020 9th International Conference on Software and Computer Applications
影响因子：
--
作者：
[Yoshiura Noriaki, Koizumi Kento]
通讯作者：
Koizumi Kento
利用者のネットワーク機器を監視する監視装置との通信品質を改善する移動ロボット制御手法
提高与监控用户网络设备的监控设备的通信质量的移动机器人控制方法
提高与监控用户网络设备的监控设备的通信质量的移动机器人控制方法
DOI：
--
发表时间：
2019
期刊：
情報処理学会論文誌
影响因子：
--
作者：
[小川康一, 吉浦紀晃]
通讯作者：
吉浦紀晃
Development of a Support System to Resolve Network Troubles by Mobile Robots
开发移动机器人解决网络问题的支持系统
开发移动机器人解决网络问题的支持系统
DOI：
--
发表时间：
2018
期刊：
Lecture Notes in Computer Science
影响因子：
--
作者：
[Kohichi Ogawa, Noriaki Yoshiura]
通讯作者：
Noriaki Yoshiura
The Relation Between Syntax Restriction of Temporal Logic and Properties of Reactive System Specification.
时态逻辑的语法限制与反应式系统规范的属性之间的关系。
时态逻辑的语法限制与反应式系统规范的属性之间的关系。
DOI：
--
发表时间：
2017
期刊：
Lecture Notes in Computer Science
影响因子：
--
作者：
[Liu Shuxin, Noriaki Yoshiura, Hiroshi Umeo, Noriaki Yoshiura]
通讯作者：
Noriaki Yoshiura
共 12 条
海外基金