Jump to main content

yr 〜
yr

Search results 14

組込みアセンブリプログラムのリアルタイム安全性のソフトウェアモデル検査手法の開発

組込みアセンブリプログラムのリアルタイム安全性のソフトウェアモデル検査手法の開発
Digitalその他
山根, 智, Yamane, Satoshi2021-06-18令和2(2020)年度 科学研究費補助金 基盤研究(C) 研究成果報告書 = 2020 Fiscal Year Final Research Report2018-04-01 - 2021-03-31p.6p.-
Other Libraries in Japan
  • Author Heading山根, 智 Yamane, Satoshi

革新的ソフトウェアモデル検査による組込みアセンブリプログラムの安全性検証

革新的ソフトウェアモデル検査による組込みアセンブリプログラムの安全性検証
Digitalその他
山根, 智, Yamane, Satoshi2018-04-25平成29(2017)年度 科学研究費補助金 基盤研究(C) 研究成果報告書 = 2017 Fiscal Year Final Research Report2015-04-01 - 2018-03-31p.4p.-
Other Libraries in Japan
  • Author Heading山根, 智 Yamane, Satoshi

ミーハー

ミーハー
Paper図書
山根敏 著碧天舎2004.5<KH718-H105>
National Diet Library

動的ハイブリッドオートマトンによる動的再構成可能組込みシステムの高度な設計検証

動的ハイブリッドオートマトンによる動的再構成可能組込みシステムの高度な設計検証
Digitalその他
山根, 智, Yamane, Satoshi2015-06-09平成26(2014)年度 科学研究費補助金 基盤研究(C) 研究成果報告書 = 2014 Fiscal Year Final Research Report2012-04-01 - 2015-03-31p.4p.-
Other Libraries in Japan
  • Author Heading山根, 智 Yamane, Satoshi

ニューラルネットワークアークセンサによるMIG溶接溶融池形状のセンシグと知的制御

ニューラルネットワークアークセンサによるMIG溶接溶融池形状のセンシグと知的制御
Paper図書
山根敏, 埼玉大学 [著][山根敏]2004-2005<Y151-H16560626>
National Diet Library

ハイブリッドモデルによる組込みシステムの高信頼性設計方法論の構築と支援環境の開発

ハイブリッドモデルによる組込みシステムの高信頼性設計方法論の構築と支援環境の開発
Paper図書
山根智, 金沢大学 [著][山根智]2002-2004<Y151-H14580368>
National Diet Library

時相論理と並行計算、オートマトンの統合化による自律性のある分散システムの設計支援

時相論理と並行計算、オートマトンの統合化による自律性のある分散システムの設計支援
Paper図書
山根, 智, 金沢大学1999-2001<Y151-H11680360>
National Diet Library

溶接ロボツトを用いたニユーラルネツトワークによる開先形状検出および溶接線追跡制御

溶接ロボツトを用いたニユーラルネツトワークによる開先形状検出および溶接線追跡制御
Paper図書
山根, 敏, 埼玉大学2000-2001<Y151-H12650709>
National Diet Library

述語抽象化検証による大規模組込みシステム向きオブジェクト指向設計自動検証手法

述語抽象化検証による大規模組込みシステム向きオブジェクト指向設計自動検証手法
Digitalその他
山根, 智, Yamane, Satoshi2010-04-01平成23(2009)年度 科学研究費補助金 基盤研究(C) 研究成果報告書 = 2009 Fiscal Year Final Research Report2007-2009p.4p.-
Other Libraries in Japan
  • Author Heading山根, 智 Yamane, Satoshi

実時間システムの仕様記述と検証に関する研究

実時間システムの仕様記述と検証に関する研究
PaperDigital博士論文障害者向け資料あり
山根智 [著]<UT51-97-H414>
Available onlineNational Diet Library

Neuro-fuzzy control in intelligent welding robots

Neuro-fuzzy control in intelligent welding robots
PaperDigital博士論文障害者向け資料あり
山根敏 [著]<UT51-93-K103>
Available onlineNational Diet Library

ハイブリッドモデルによる組込みシステムの高信頼性設計方法論の構築と支援環境の開発

ハイブリッドモデルによる組込みシステムの高信頼性設計方法論の構築と支援環境の開発
Digitalその他
山根, 智, Yamane, Satoshi金沢大学 理工研究域電子情報通信学系2005-03平成16(2004)年度 科学研究費補助金 基盤研究(C) 研究成果報告書 = 2004 Fiscal Year Final Research Report2002-2004p.182p.-
Other Libraries in Japan
  • Author Heading山根, 智 Yamane, Satoshi

時相論理と並行計算、オートマトンの統合化による自律性のある分散システムの設計支援

時相論理と並行計算、オートマトンの統合化による自律性のある分散システムの設計支援
Digitalその他
山根, 智, Yamane, Satoshi金沢大学 理工研究域電子情報通信学系2002-03平成13(2001)年度 科学研究費補助金 基盤研究(C) 研究成果報告書 = 2001 Fiscal Year Final Research Report1999-2001p.110p.-
Other Libraries in Japan
  • Author Heading山根, 智 Yamane, Satoshi

実時間システムの仕様記述と検証に関する研究

実時間システムの仕様記述と検証に関する研究
Digital博士論文
山根, 智京都大学1997-03-24
Available onlineOther Libraries in Japan

Reached to the end of result.

RSS