著作(論文等)
発表形態
掲載年月
掲載誌名等
論文名
著者名
巻
号
開始頁
終了頁
出版者(日本語)
出版者(英語)
概要
基本情報
氏名
熊澤 努
氏名（カナ）
クマザワ ツトム
氏名（英語）
Kumazawa Tsutomu
所属
山陽小野田市立山口東京理科大学工学部数理情報科学科
職名
教授
researchmap研究者コード
researchmap機関
発表形態
掲載年月
2026/04
掲載誌名等
システム制御情報学会学会誌「システム／制御／情報」
論文名
モデル検査と確率的モデル検査への招待
著者名
熊澤努
巻
70
号
4
開始頁
127
～
終了頁
131
出版者(日本語)
一般社団法人システム制御情報学会
出版者(英語)
概要
