システム検証の科学技術シンポジウム : 講演論文集第5回 (算譜科学研究速報 ; AIST-PS-2009-1)

システム検証の科学技術シンポジウム : 講演論文集. 第5回

(算譜科学研究速報 ; AIST-PS-2009-1)

Call No. (NDL): M159-J553
Bibliographic ID of National Diet Library: 000010192339

Material type: 図書

Author: 産業技術総合研究所 (システム検証研究センター) 編

Publisher: 産業技術総合研究所システム検証研究センター

Publication date: 2009.2

Material Format: Paper

Capacity, size, etc.: 129p ; 30cm

NDC: 007.63

View All

Notes on use

Note (General)：: 会期・会場: 2008年11月17日-19日筑波大学大学会館国際会議室

Detailed bibliographic record

Contents：: 一般講演: システム記述 (1)制約概念に基づくハイブリッドシステムモデリング言語HydLa / 上田和紀, 石井大輔, 細部博史著リアクティブシステム仕様の外部環境制約について / 北村佑介ほか著...

Search by Bookstore

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.

Paper

Material Type: 図書
Title: システム検証の科学技術シンポジウム : 講演論文集
Title Transcription: システムケンショウノカガクギジュツシンポジウム : コウエンロンブンシュウ
Volume: 第5回
Author/Editor: 産業技術総合研究所 (システム検証研究センター) 編
Series Title: 算譜科学研究速報 ; AIST-PS-2009-1
Author Heading: 産業技術総合研究所システム検証研究センターサンギョウギジュツソウゴウケンキュウジョシステムケンショウケンキュウセンター ( 01050139 )Authorities
Publication, Distribution, etc.: [豊中] : 産業技術総合研究所システム検証研究センター
Publication Date: 2009.2
Publication Date (W3CDTF): 2009
Extent: 129p
Size: 30cm
Alternative Title: SSV 2008
Place of Publication (Country Code): JP
Text Language Code: jpn
Subject Heading: ソフトウェア--品質管理ソフトウェアヒンシツカンリ ( 00963619 )Authorities
情報システム--品質管理ジョウホウシステムヒンシツカンリ ( 01122676 )Authorities
NDC 9th ed.: 007.63 : Information science
NDLC: M159
Target Audience: 一般
Note (General): 会期・会場: 2008年11月17日-19日筑波大学大学会館国際会議室
Note (Bibliography): 文献あり
Holding library: 国立国会図書館
Call No.: M159-J553
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000010192339
http://id.ndl.go.jp/bib/000010192339
National Bibliography No. (JPNO): 21606943
Cataloging Rule: Nippon Cataloguing Rules 1987 Revised Edition
Bibliographic Record Category (NDL): 111