• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

中野 昌弘  NAKANO Masahiro

ORCIDORCID連携する *注記
研究者番号 90470046
所属 (過去の研究課題情報に基づく) *注記 2008年度 – 2009年度: 独立行政法人産業技術総合研究所, システム検証研究センター, 産総研特別研究員
審査区分/研究分野
研究代表者
ソフトウエア
キーワード
研究代表者
仕様記述・仕様検証 / アルゴリズム工学 / 並列分散処理 / 数理論理学 / 仕様記述
  • 研究課題

    (1件)
  • 研究成果

    (1件)
  •  テストに基づく補題発見を用いた安全性自動検証器の開発研究代表者

    • 研究代表者
      中野 昌弘
    • 研究期間 (年度)
      2008 – 2009
    • 研究種目
      若手研究(スタートアップ)
    • 研究分野
      ソフトウエア
    • 研究機関
      独立行政法人産業技術総合研究所

すべて 2008

すべて 学会発表

  • [学会発表] 安全性・余安全性に対する反例集合の獲得2008

    • 著者名/発表者名
      中野昌弘, 高井利憲
    • 学会等名
      第5回システム検証の科学技術シンポジウム
    • データソース
      KAKENHI-PROJECT-20800082

URL: 

この研究者とORCID iDの連携を行いますか?
※ この処理は、研究者本人だけが実行できます。

Are you sure that you want to link your ORCID iD to your KAKEN Researcher profile?
* This action can be performed only by the researcher himself/herself who is listed on the KAKEN Researcher’s page. Are you sure that this KAKEN Researcher’s page is your page?

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi