Verification of real-time reactive systems in high-level programming languages
Verification of real-time reactive systems in high-level programming languages
用高级编程语言验证实时反应系统
批准号：
25280023
负责人：
Yuen Shoji
金额：
$10.73万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (B)
财政年份：
2013
资助国家：
日本
项目状态：
已结题
起止时间：
2013-04-01 至 2017-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(27)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
上海交通大学/復旦大学/華東師範大学(中国)
上海交通大学/复旦大学/华东师范大学（中国）
上海交通大学/复旦大学/华东师范大学（中国）
DOI：
--
发表时间：
期刊：
影响因子：
--
作者：
[]
通讯作者：
Androidアプリケーションの並行実行における予期しない消費電力増加の検出
检测 Android 应用程序并行执行中的意外功耗增加
检测 Android 应用程序并行执行中的意外功耗增加
DOI：
--
发表时间：
2017
期刊：
信学技報,SS2016-60
影响因子：
--
作者：
[Ikki Fujiwara, Michihiro Koibuchi. Tomoya Ozaki, Hiroki Matsutani, Henri Casanova, 稲垣貴大・結縁祥治]
通讯作者：
稲垣貴大・結縁祥治
時間制約によるAlloy記述の拡張
在时间限制下扩展合金描述
在时间限制下扩展合金描述
DOI：
--
发表时间：
2014
期刊：
信学技法ソフトウェアサイエンス
影响因子：
--
作者：
[黒板亮太, 結縁祥治]
通讯作者：
結縁祥治
Session Typed Programming with Poles and Lenses
使用极点和镜头进行会话类型编程
使用极点和镜头进行会话类型编程
DOI：
--
发表时间：
2017
期刊：
影响因子：
--
作者：
[Keigo Imai, Shoji Yuen, Nobuko Yoshida]
通讯作者：
Nobuko Yoshida
レスター大学/インペリアル・カレッジ(英国)
莱斯特大学/帝国理工学院（英国）
莱斯特大学/帝国理工学院（英国）
DOI：
--
发表时间：
期刊：
影响因子：
--
作者：
[]
通讯作者：
共 19 条
Verification of real-time systems based on proving codes
-
批准号：26540026
-
项目类别：Grant-in-Aid for Challenging Exploratory Research
-
资助金额：$2.16万
-
财政年份：2014
-
负责人：Yuen Shoji
-
依托单位：