「"関澤俊弦"」の検索結果 | NDLサーチ

検索結果 22 件

タイトルでまとめる

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

紙デジタル図書

近代科学社Digital2021.11<M154-M366>

国立国会図書館全国の図書館

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

紙博士論文

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

国立国会図書館

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

紙図書

近代科学社2013.11<M159-L297>

国立国会図書館全国の図書館

著者紹介岡野浩三：大阪大学大学院情報科学研究科　准教授関澤俊弦:大阪学院大学情報学部准教授

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

デジタル文書・図像類

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

全国の図書館

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

紙図書

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

国立国会図書館

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

紙図書

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

国立国会図書館

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

紙図書

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

国立国会図書館

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

紙図書

産業技術総合研究所 (システム検証研究センター) 編産業技術総合研究所システム検証研究センター2010.2<M159-J922>

国立国会図書館

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

紙雑誌

日本ソフトウェア科学会編日本ソフトウェア科学会1984-<Z14-1033>

国立国会図書館全国の図書館

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

紙雑誌

システム制御情報学会1989-<Z14-195>

国立国会図書館全国の図書館

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

紙雑誌

電子情報通信学会1987-2020<Z16-940>

国立国会図書館全国の図書館

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

紙雑誌

電子情報通信学会編電子情報通信学会情報・システムソサイエティ2006-2014<Z16-779>

国立国会図書館全国の図書館

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

紙雑誌

日本ソフトウェア科学会編日本ソフトウェア科学会1984-2019<Z14-1245>

国立国会図書館全国の図書館

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

デジタル博士論文

関澤, 俊弦

インターネットで読める全国の図書館

検索結果は以上です。