Jump to main content

yr 〜
yr

Search results 22

ソフトウェア工学の基礎 28 (レクチャーノート/ソフトウェア学 ; 47)

ソフトウェア工学の基礎 28 (レクチャーノート/ソフトウェア学 ; 47)
PaperDigital図書
近代科学社Digital2021.11<M154-M366>
National Diet LibraryOther Libraries in Japan
  • Author Heading名倉, 正剛 関澤, 俊弦 日本ソフトウェア科学会

A study of model checking techniques with emphasis on program verification and probabilistic analysis

A study of model checking techniques with emphasis on program verification and probabilistic analysis
Paper博士論文
Toshifusa Sekizawa [著][Toshifusa Sekizawa][2009]<UT51-2009-C481>
National Diet Library
  • Author Heading関澤, 俊弦

ソフトウェア工学の基礎 20 (レクチャーノート/ソフトウェア学 ; 39)

ソフトウェア工学の基礎 20 (レクチャーノート/ソフトウェア学 ; 39)
Paper図書
近代科学社2013.11<M159-L297>
National Diet LibraryOther Libraries in Japan
  • Author introduction岡野 浩三：大阪大学大学院情報科学研究科　准教授 関澤 俊弦:大阪学院大学情報学部 准教授
  • Author Heading岡野, 浩三 関澤, 俊弦 武市, 正人, 1948- 米沢, 明憲, 1947-

自動証明系と対話型証明支援系の連携によるポインタ操作プログラムの検証について（MLATとAgdaの接合）

自動証明系と対話型証明支援系の連携によるポインタ操作プログラムの検証について（MLATとAgdaの接合）
Digitalその他
湯浅, 能史, 武山, 誠, 関澤, 俊弦, 田辺, 良則, 高橋, 孝一2006-11-30p.1-23
Other Libraries in Japan
  • Author Heading湯浅, 能史 武山, 誠 関澤, 俊弦 田辺, 良則 高橋, 孝一

一次元セルオートマトンの有限近似解析 : preliminary version (算譜科学研究速報 ; AIST-PS-2005-14)

一次元セルオートマトンの有限近似解析 : preliminary version (算譜科学研究速報 ; AIST-PS-2005-14)
Paper図書
高橋孝一, 田辺良則, 関澤俊弦 [著], 産業技術総合研究所関西センター尼崎事業所システム検証研究センター 編産業技術総合研究所関西センター尼崎事業所システム検証研究センター2005.8<Y251-H917>
National Diet Library

時相論理の充足可能性判定器のためのベンチマーク用論理式生成法 : preliminary version (算譜科学研究速報 ; AIST-PS-2005-15)

時相論理の充足可能性判定器のためのベンチマーク用論理式生成法 : preliminary version (算譜科学研究速報 ; AIST-PS-2005-15)
Paper図書
関澤俊弦, 高井利憲, 田辺良則, 高橋孝一 [著], 産業技術総合研究所関西センター尼崎事業所システム検証研究センター 編産業技術総合研究所関西センター尼崎事業所システム検証研究センター2005.9<Y251-H928>
National Diet Library

ディペンダブルシステムワークショップ&シンポジウム2011論文集 (算譜科学研究速報 = Programming science technical report ; AIST-PS-2012-2)

ディペンダブルシステムワークショップ&シンポジウム2011論文集 (算譜科学研究速報 = Programming science technical report ; AIST-PS-2012-2)
Paper図書
産業技術総合研究所 (組込みシステム技術連携研究体) 編産業技術総合研究所組込みシステム技術連携研究体2012.1<M159-J1528>
National Diet Library

第6回ディペンダブルシステムシンポジウム(DSS2009)講演論文集 (算譜科学研究速報 ; AIST-PS-2010-1)

第6回ディペンダブルシステムシンポジウム(DSS2009)講演論文集 (算譜科学研究速報 ; AIST-PS-2010-1)
Paper図書
産業技術総合研究所 (システム検証研究センター) 編産業技術総合研究所システム検証研究センター2010.2<M159-J922>
National Diet Library

コンピュータソフトウェア

コンピュータソフトウェア
Paper雑誌雑誌タイトル
日本ソフトウェア科学会 編日本ソフトウェア科学会1984-<Z14-1033>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

システム・制御・情報 : システム制御情報学会誌

システム・制御・情報 : システム制御情報学会誌
Paper雑誌雑誌タイトル
システム制御情報学会1989-<Z14-195>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

電子情報通信学会技術研究報告 : 信学技報

電子情報通信学会技術研究報告 : 信学技報
Paper雑誌雑誌タイトル
電子情報通信学会1987-2020<Z16-940>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

電子情報通信学会論文誌 D 情報・システム

電子情報通信学会論文誌 D 情報・システム
Paper雑誌雑誌タイトル
電子情報通信学会 編電子情報通信学会情報・システムソサイエティ2006-2014<Z16-779>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

日本ソフトウェア科学会大会論文集

日本ソフトウェア科学会大会論文集
Paper雑誌雑誌タイトル
日本ソフトウェア科学会 編日本ソフトウェア科学会1984-2019<Z14-1245>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

プログラム検証と確率解析に重点をおいたモデル検査に関する研究

プログラム検証と確率解析に重点をおいたモデル検査に関する研究
Digital博士論文
関澤, 俊弦
Available onlineOther Libraries in Japan

Reached to the end of result.

RSS