システム検証における数理的手法の紹介--組込みシステムへの適用事例(組込みシステム特集号)

Journal name: システム・制御・情報 = Systems, control and information : システム制御情報学会誌 51(9) 2007

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: システム検証における数理的手法の紹介--組込みシステムへの適用事例
Author/Editor: 高橋孝一
高井利憲
Series Title: 組込みシステム特集号
Author Heading: 高橋孝一
高井利憲
Alternative Title: An introduction to mathematical methods for system verification
Periodical title: システム・制御・情報 = Systems, control and information : システム制御情報学会誌
No. or year of volume/issue: 51(9) 2007
Volume: 51
Issue: 9
Pages: 393～398
Publication date of volume/issue (W3CDTF): 2007
ISSN (Periodical Title): 0916-1600
ISSN-L (Periodical Title): 0916-1600
Publication (Periodical Title): 京都 : システム制御情報学会
Place of Publication (Country Code): JP
Text Language Code: jpn
Subject Heading: verification
formal method
model-checking
case study
NDLC: ZM11
Target Audience: 一般
Holding library: 国立国会図書館
Call No.: Z14-195
Data Provider (Database): 国立国会図書館 : 国立国会図書館雑誌記事索引
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 8898264
http://id.ndl.go.jp/bib/8898264
Bibliographic Record Category (NDL): 632