课题基金 / 基金详情

計算機ネットワークプロトコルの形式的記述と検証に関する研究

計算機ネットワークプロトコルの形式的記述と検証に関する研究
计算机网络协议的形式化描述与验证研究
批准号：
57750308
负责人：
荒木 啓二郎
金额：
$0.51万
依托单位：
Kyushu University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Encouragement of Young Scientists (A)
财政年份：
1982
资助国家：
日本
项目状态：
已结题
起止时间：
1982 至 --
来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-57750308/
关键词：

项目摘要

项目成果

荒木 啓二郎的其他基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
高品質ソフトウェア開発における適用性の高いアーキテクチャ指向形式手法の提案
  • 批准号：
    24240002
  • 项目类别：
    Grant-in-Aid for Scientific Research (A)
  • 资助金额：
    $6.82万
  • 财政年份：
    2012
  • 负责人：
    荒木 啓二郎
  • 依托单位：
    Kyushu University
データ抽象化に基づく超並列システムの記述と処理方式に関する研究
  • 批准号：
    05219210
  • 项目类别：
    Grant-in-Aid for Scientific Research on Priority Areas
  • 资助金额：
    $0.64万
  • 财政年份：
    1993
  • 负责人：
    荒木 啓二郎
  • 依托单位：
    Nara Institute of Science and Technology
データ抽象化に基づく超並列処理シテスムの記述と処理方式に関する研究
  • 批准号：
    04235208
  • 项目类别：
    Grant-in-Aid for Scientific Research on Priority Areas
  • 资助金额：
    $1.92万
  • 财政年份：
    1992
  • 负责人：
    荒木 啓二郎
  • 依托单位：
    Kyushu University
ストリーム並列実行モデルに基づく並行動作プログラムの形式的開発法