A discrete execution model of dense-timed programs
A discrete execution model of dense-timed programs
密集时间程序的离散执行模型
批准号：
17K19969
负责人：
YUEN SHOJI
金额：
$3.99万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for Challenging Research (Exploratory)
财政年份：
2017
资助国家：
日本
项目状态：
已结题
起止时间：
2017-06-30 至 2020-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(8)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
サンプリング時間実行におけるUppaalを用いたYampaプログラムの振舞い検証
在采样时间执行期间使用 Uppaal 验证 Yampa 程序行为
在采样时间执行期间使用 Uppaal 验证 Yampa 程序行为
DOI：
--
发表时间：
2020
期刊：
影响因子：
--
作者：
[Y. Ono, K. Esaki, Y. Takahashi, M. Nakabayashi, M. Ichinose, K. J. Lee, 中根里空,結縁祥治]
通讯作者：
中根里空,結縁祥治
NSFC(中国)
国家自然科学基金委员会（中国）
国家自然科学基金委员会（中国）
DOI：
--
发表时间：
期刊：
影响因子：
--
作者：
[]
通讯作者：
華東師範大学/上海交通大学(中国)
华东师范大学/上海交通大学（中国）
华东师范大学/上海交通大学（中国）
DOI：
--
发表时间：
期刊：
影响因子：
--
作者：
[]
通讯作者：
離散時間実行環境におけるYampaプログラムの振舞いモデル
离散时间执行环境中 Yampa 程序的行为模型
离散时间执行环境中 Yampa 程序的行为模型
DOI：
--
发表时间：
2017
期刊：
影响因子：
--
作者：
[市橋友樹, 結縁祥治]
通讯作者：
結縁祥治
Session-ocaml: A Session-Based Library with Polarities and Lenses
Session-ocaml：具有极性和透镜的基于会话的库
Session-ocaml：具有极性和透镜的基于会话的库
DOI：
10.1007/978-3-319-59746-1_6
发表时间：
2017
期刊：
Lecture Notes in Computer Science
影响因子：
--
作者：
[Imai Keigo, Yoshida Nobuko, Yuen Shoji]
通讯作者：
Yuen Shoji
共 8 条
A reversible debugging model for real-time concurrent programs
-
批准号：17H01722
-
项目类别：Grant-in-Aid for Scientific Research (B)
-
资助金额：$11.9万
-
财政年份：2017
-
负责人：YUEN SHOJI
-
依托单位：
海外基金