Verification of real-time systems based on proving codes
Verification of real-time systems based on proving codes
基于验证码的实时系统验证
批准号：
26540026
负责人：
Yuen Shoji
金额：
$2.16万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for Challenging Exploratory Research
财政年份：
2014
资助国家：
日本
项目状态：
已结题
起止时间：
2014-04-01 至 2017-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(30)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
値付きタスクオートマトンに基づくコストを意識した実時間タスクスケジューリング
基于有价值任务自动机的成本感知实时任务调度
基于有价值任务自动机的成本感知实时任务调度
DOI：
--
发表时间：
2014
期刊：
電子情報通信学会技報
影响因子：
--
作者：
[結縁祥治, 亀井達郎]
通讯作者：
亀井達郎
クロック凍結機構を持つ稠密時間プッシュダウンオートマトンのゾーン構成による検証
使用具有时钟冻结机制的密集时间下推自动机的区域配置进行验证
使用具有时钟冻结机制的密集时间下推自动机的区域配置进行验证
DOI：
--
发表时间：
2016
期刊：
信学技報,SS2016-25
影响因子：
--
作者：
[平岡祥, 結縁祥治]
通讯作者：
結縁祥治
ハイブリッドシステムに対するCCSの拡張について
关于将 CCS 扩展到混合系统
关于将 CCS 扩展到混合系统
DOI：
--
发表时间：
2016
期刊：
信学技法ソフトウェアサイエンス
影响因子：
--
作者：
[川北悠人, 結縁祥治]
通讯作者：
結縁祥治
Toppers/SSPカーネルのタスク制御に対する低レベルコード証明
Toppers/SSP 内核任务控制的低级代码证明
Toppers/SSP 内核任务控制的低级代码证明
DOI：
--
发表时间：
2015
期刊：
電子情報通信学会技報
影响因子：
--
作者：
[荒川 洸, 結縁祥治]
通讯作者：
結縁祥治
UPPAALを用いたLEGO Mindstorms EV3制御プログラムの合成
使用 UPPAAL 合成 LEGO Mindstorms EV3 控制程序
使用 UPPAAL 合成 LEGO Mindstorms EV3 控制程序
DOI：
--
发表时间：
2014
期刊：
電子情報通信学会技報
影响因子：
--
作者：
[荒川 洸, 結縁祥治]
通讯作者：
結縁祥治
共 13 条
Verification of real-time reactive systems in high-level programming languages
-
批准号：25280023
-
项目类别：Grant-in-Aid for Scientific Research (B)
-
资助金额：$10.73万
-
财政年份：2013
-
负责人：Yuen Shoji
-
依托单位：
海外基金