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

詳細情報

ID

01050139

典拠種別Type of Authority

団体名Corporate Names

名称/タイトルName / Title

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

名称/タイトルのカナ読みKatakana Transcription of Name / Title

サンギョウ ギジュツ ソウゴウ ケンキュウジョ システム ケンショウ ケンキュウ センター

名称/タイトルのローマ字読みRoman Transliteration of Name / Title

Sangyo Gijutsu Sogo Kenkyujo Shisutemu Kensho Kenkyu Senta

別名/別タイトルVariant Name(s) / Title(s)

システム検証研究センター (システム ケンショウ ケンキュウ センター); Research Center for Verification and Semantics（英語名）; CVS（略称）

設立年Date of Establishment

2004

廃止年Date of Termination

2010

来歴Corporate History

システム検証研究ラボを拡大し2004年4月に発足

関連リンクRelated Links

NDL|01050139 (VIAF)

出典Sources

4日で学ぶモデル検査. 初級編 / 産業技術総合研究所システム検証研究センター 著

作成日Date Created

2006-07-13

最終更新日Last Updated

2010-05-31T09:57:46

外部サイトへのリンクExternal Link

Wikipediaで検索を行うSearch the Japanese Wikipedia
※Wikipediaの検索結果の一覧が表示されます。

他形式のデータOther formats

RDF/XML形式RDF/XML format, RDF/Turtle形式RDF/Turtle format, JSON-LD形式JSON-LD format