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

• Material Type: 図書
• Title: システム検証の科学技術シンポジウム講演論文集
• Title Transcription: システム ケンショウ ノ カガク ギジュツ シンポジウム コウエン ロンブンシュウ
• Volume: 第4回
• Author/Editor: 産業技術総合研究所システム検証研究センター 編
• Series Title: 算譜科学研究速報 ; AIST-PS-2008-2
• Author Heading: 産業技術総合研究所システム検証研究センター サンギョウ ギジュツ ソウゴウ ケンキュウジョ システム ケンショウ ケンキュウ センター ( 01050139 )Authorities
• Publication, Distribution, etc.: [池田] : 産業技術総合研究所関西センター
• Publication Date: 2008.1
• Publication Date (W3CDTF): 2008
• Extent: 108p
• Size: 30cm
• 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): 英語併載; 会期・会場: 2007年11月5日-7日 名古屋大学野依記念学術交流館カンファレンスホール
• Note (Bibliography): 文献あり
• Holding library: 国立国会図書館
• Call No.: M159-J123
• Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• Bibliographic ID (NDL): 000009303109; http://id.ndl.go.jp/bib/000009303109
• National Bibliography No. (JPNO): 21400211
• Cataloging Rule: Nippon Cataloguing Rules 1987 Revised Edition
• Bibliographic Record Category (NDL): 111

• Contents: 函館ワークショップ特別講演Comparison of the expressove power of language-based access control models / 関浩之, 高田喜朗 著一般講演...