Search results for "関澤, 俊弦" | NDL Search

Search results 22

Group by title

ソフトウェア工学の基礎 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

Paper博士論文

Toshifusa Sekizawa [著][Toshifusa Sekizawa][2009]<UT51-2009-C481>

National Diet Library

Author Heading関澤, 俊弦

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

Paper図書

近代科学社2013.11<M159-L297>

National Diet LibraryOther Libraries in Japan

Author introduction岡野浩三：大阪大学大学院情報科学研究科　准教授関澤俊弦:大阪学院大学情報学部准教授
Author Heading岡野, 浩三関澤, 俊弦武市, 正人, 1948- 米沢, 明憲, 1947-

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

Digitalその他

湯浅, 能史, 武山, 誠, 関澤, 俊弦, 田辺, 良則, 高橋, 孝一2006-11-30p.1-23

Other Libraries in Japan

Author Heading湯浅, 能史武山, 誠関澤, 俊弦田辺, 良則高橋, 孝一

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

Paper図書

高橋孝一, 田辺良則, 関澤俊弦 [著], 産業技術総合研究所関西センター尼崎事業所システム検証研究センター編産業技術総合研究所関西センター尼崎事業所システム検証研究センター2005.8<Y251-H917>

National Diet Library

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

Paper図書

関澤俊弦, 高井利憲, 田辺良則, 高橋孝一 [著], 産業技術総合研究所関西センター尼崎事業所システム検証研究センター編産業技術総合研究所関西センター尼崎事業所システム検証研究センター2005.9<Y251-H928>

National Diet Library

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

Paper図書

産業技術総合研究所 (組込みシステム技術連携研究体) 編産業技術総合研究所組込みシステム技術連携研究体2012.1<M159-J1528>

National Diet Library

第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 情報・システム

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