記号モデル検査システム「BINGO」の適用事例

• 資料種別: 記事
• タイトル: 記号モデル検査システム「BINGO」の適用事例
• 著者・編者: 中田恒夫; 岩下洋哲; 高山浩一郎
• 出版事項: 日本 : 富士通
• 出版年月日等: 1999-11
• 出版年（W3CDTF）: 1999-11
• 数量: 容量 : paper04.pdf(65922bytes)
• 並列タイトル等: Case study of applying symbolic model checking system : BINGO
• タイトル（掲載誌）: Fujitsu
• 巻号年月日等（掲載誌）: 50(6)
• 掲載巻: 50(6)
• 本文の言語コード: jpn
• 国立国会図書館永続的識別子: info:ndljp/pid/3516184; https://dl.ndl.go.jp/pid/3516184
• コレクション（共通）: 障害者向け資料
• コレクション（障害者向け資料：レベル1）: テキストデータ
• コレクション（個別）: 国立国会図書館デジタルコレクション > 電子書籍・電子雑誌 > その他; https://dl.ndl.go.jp/collections/B00035
• 収集根拠: インターネット資料収集保存事業（WARP）
• 受理日（W3CDTF）: 2012-08-08T00:54:27+09:00
• 保存日（W3CDTF）: 2009-11-12
• 記録形式（IMT）: application/pdf
• オンライン閲覧公開範囲: インターネット公開
• 遠隔複写可否（NDL）: 不可
• 掲載誌（URI）: https://warp.da.ndl.go.jp/info:ndljp/pid/286691/jp.fujitsu.com/about/magazine/backnumber/vol50-6.html
• 掲載誌（国立国会図書館永続的識別子）: info:ndljp/pid/3516180; https://dl.ndl.go.jp/pid/3516180
• 連携機関・データベース: 国立国会図書館 : 国立国会図書館デジタルコレクション; https://dl.ndl.go.jp