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

Persistent ID (NDL): info:ndljp/pid/3516184

Material type: 記事

Author: 中田恒夫ほか

Publisher: 富士通

Publication date: 1999-11

Material Format: Digital

Journal name: Fujitsu 50(6)

Publication Page: -

View All

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Digital

Material Type: 記事
Title: 記号モデル検査システム「BINGO」の適用事例
Author/Editor: 中田恒夫
岩下洋哲
高山浩一郎
Publication, Distribution, etc.: 日本 : 富士通
Publication Date: 1999-11
Publication Date (W3CDTF): 1999-11
Extent: 容量 : paper04.pdf(65922bytes)
Alternative Title: Case study of applying symbolic model checking system : BINGO
Periodical title: Fujitsu
No. or year of volume/issue: 50(6)
Volume: 50(6)
Text Language Code: jpn
Persistent ID (NDL): info:ndljp/pid/3516184
https://dl.ndl.go.jp/pid/3516184
Collection: 障害者向け資料
Collection (Materials For Handicapped People:1): テキストデータ
Collection (particular): 国立国会図書館デジタルコレクション > 電子書籍・電子雑誌 > その他
https://dl.ndl.go.jp/collections/B00035
Acquisition Basis: インターネット資料収集保存事業（WARP）
Date Accepted (W3CDTF): 2012-08-08T00:54:27+09:00
Date Captured (W3CDTF): 2009-11-12
Format (IMT): application/pdf
Access Restrictions: インターネット公開
Availability of remote photoduplication service: 不可
Periodical Title (URI): https://warp.da.ndl.go.jp/info:ndljp/pid/286691/jp.fujitsu.com/about/magazine/backnumber/vol50-6.html
Periodical Title (Persistent ID (NDL)): info:ndljp/pid/3516180
https://dl.ndl.go.jp/pid/3516180
Data Provider (Database): 国立国会図書館 : 国立国会図書館デジタルコレクション
https://dl.ndl.go.jp