Liveness verification in software model checking
Liveness verification in software model checking
软件模型检查中的活性验证
批准号：
16K00109
负责人：
Tanabe Yoshinori
金额：
$2.83万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2016
资助国家：
日本
项目状态：
已结题
起止时间：
2016-04-01 至 2019-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
ニューラルネットワークを用いた図書の自動分類
使用神经网络自动分类书籍
使用神经网络自动分类书籍
DOI：
--
发表时间：
2019
期刊：
信学技報
影响因子：
--
作者：
[Katayama Kenta, Takahashi Hideyuki, Yokota Nobuhide, Sugiyasu Kazuya, Kinoshita Tetsuo, 杉山治紀，田辺良則]
通讯作者：
杉山治紀，田辺良則
ニューラルネットワークにおける表現可能なデータ数のSSReflectによる形式化
使用 SSReflect 对神经网络中可表示数据的数量进行形式化
使用 SSReflect 对神经网络中可表示数据的数量进行形式化
DOI：
--
发表时间：
2019
期刊：
影响因子：
--
作者：
[井上健太, 山本光晴]
通讯作者：
山本光晴
MQTT 実装のモデルベーステスト
MQTT 实现的基于模型的测试
MQTT 实现的基于模型的测试
DOI：
--
发表时间：
2016
期刊：
ソフトウェア工学の基礎
影响因子：
--
作者：
[Sinapayen L., Nakamura K., Nakadai K., Takahashi H., Kinoshita T., 岩田夏織，伊藤嘉浩, 米山惇，Cyrille Artho，田辺良則，萩谷昌己]
通讯作者：
米山惇，Cyrille Artho，田辺良則，萩谷昌己
Datalogを利用したネットワーク設定変更手順生成
使用 Datalog 生成网络设置更改过程
使用 Datalog 生成网络设置更改过程
DOI：
--
发表时间：
2016
期刊：
信学技報
影响因子：
--
作者：
[山下 遼, 湯 素華, 小花貞夫, 山崎智史，登内敏夫，田辺良則]
通讯作者：
山崎智史，登内敏夫，田辺良則
Automatically Generating Programming Questions Corresponding to Rubrics Using Assertions and Invariants
使用断言和不变量自动生成与评分标准相对应的编程问题
使用断言和不变量自动生成与评分标准相对应的编程问题
DOI：
--
发表时间：
2019
期刊：
Sustainable ICT, Education and Learning - IFIP TC3 WG3.4 in collaboration with other TC3 WGs (SUZA2019)
影响因子：
--
作者：
[Masami Hagiya, Kosuke Fukuda, Yoshinori Tanabe, and Toshinori Saito]
通讯作者：
and Toshinori Saito
共 10 条
国内基金
海外基金
低辐射空间环境下商用多核处理器层次化软件容错技术研究
-
批准号：90818016
-
项目类别：重大研究计划
-
资助金额：50.0万元
-
批准年份：2008
-
负责人：傅忠传
-
依托单位：