書店で探す
目次
34(6)=202:2012.8
- 情報システムの信頼性・安全性 (特集 情報システムの信頼性・安全性)
p.380-383
- VDMの紹介と鉄道信号への適用例 (特集 情報システムの信頼性・安全性)
p.384-389
書店で探す
書誌情報
この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。
- 資料種別
- 雑誌
- ISSN
- 0919-2697
- ISSN-L
- 0919-2697
- タイトル
- タイトルよみ
- シンライセイ : ニホン シンライセイ ガッカイシ
- 巻次・部編番号
- 34巻6号(通号202) 2012年8月
- 出版事項
- 出版年月日等
- 2012
- 出版年(W3CDTF)
- 2012