モデル規範型形式手法VDMと仕様記述言語VDM++--高信頼性システムの開発に向けて(情報システムの信頼性・安全性)

Journal name: 信頼性 = The journal of Reliability Engineering Association of Japan : 日本信頼性学会誌 31(6) (通号 178) 2009.9

Holdings of Libraries in Japan

This page shows libraries in Japan other than the National Diet Library that hold the material.

Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.

other

CiNii Research
Search Service
Digital
You can check the holdings of institutions and databases with which CiNii Research is linked at the site of CiNii Research.
Check the holdings of this book

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

Material Type: 記事
Title: モデル規範型形式手法VDMと仕様記述言語VDM++--高信頼性システムの開発に向けて
Author/Editor: 栗田太郎
荒木啓二郎
Series Title: 情報システムの信頼性・安全性
Author Heading: 栗田太郎
荒木啓二郎
Alternative Title: Model oriented formal method VDM and specification language VDM++: toward development of highly reliable systems
Periodical title: 信頼性 = The journal of Reliability Engineering Association of Japan : 日本信頼性学会誌
No. or year of volume/issue: 31(6) (通号 178) 2009.9
Volume: 31
Issue: 6
Sequential issue number: 178
Pages: 394～403
Publication date of volume/issue (W3CDTF): 2009-09
ISSN (Periodical Title): 0919-2697
ISSN-L (Periodical Title): 0919-2697
Publication (Periodical Title): 東京 : 日本信頼性学会
Place of Publication (Country Code): JP
Text Language Code: jpn
NDLC: ZM1
Target Audience: 一般
Holding library: 国立国会図書館
Call No.: Z14-2023
Data Provider (Database): 国立国会図書館 : 国立国会図書館雑誌記事索引
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 10432036
http://id.ndl.go.jp/bib/10432036
Bibliographic Record Category (NDL): 632