著書
公開件数:4件

No.1
タイトル "モデル検査によるシステム検証"
著者 関澤俊弦,高橋孝一
担当範囲 新版 信頼性ハンドブック 第V部 D-4章
出版社 日科技連出版社
出版日 2014/07/16
ISBN 978-4817195197
URL
概要

No.2
タイトル ソフトウェア工学の基礎XX FOSE2013 (レクチャーノート ソフトウェア学)
著者
担当範囲
出版社 近代科学社
出版日 2013/12/02
ISBN 978-4764904521
URL
概要

No.3
タイトル "抽象化"
著者 高橋孝一, 関澤俊弦
担当範囲 ハンドブック “知識ベース” 7 群1 編3 章3-1節
出版社 電子情報通信学会
出版日 2010
ISBN
URL
概要

No.4
タイトル "モデル検査(総論)"
著者 関澤俊弦, 高橋孝一
担当範囲 ハンドブック“知識ベース” 7 群1 編2 章2-4 節
出版社 電子情報通信学会
出版日 2010
ISBN
URL
概要