{"product_id":"ieej-ter05013","title":"XMLによるブール代数論理の検証と踏切制御への適用","description":"\u003cp\u003e\u003cstrong\u003eカテゴリ: \u003c\/strong\u003e研究会(論文単位)\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003e論文No: \u003c\/strong\u003eTER05013\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003eグループ名: \u003c\/strong\u003e【D】産業応用部門　交通・電気鉄道研究会\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003e発行日: \u003c\/strong\u003e2005\/02\/07\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003eタイトル(英語): \u003c\/strong\u003eValidation of Boolean Algebra Logic by XML and Its Application to Level Crossing System\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003e著者名: \u003c\/strong\u003e野木 達彌(日本大学),望月 寛(日本大学),高橋 聖(日本大学),中村 英夫(日本大学),島添敏之 (京三製作所),畑 好之(京三製作所)\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003e著者名(英語): \u003c\/strong\u003eTatsuya Nogi(Nihon University),Hiroshi Mochizuki(Nihon University),Sei Takahashi(Nihon University),Hideo Nakamura(Nihon University),Toshiyuki Shimazoe(Kyosan Electric Mfg Co,Ltd.),Yoshiyuki Hata(Kyosan Electric Mfg Co,Ltd.)\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003eキーワード: \u003c\/strong\u003eプログラム検証|鉄道信号|制御論理|XMLスキーマ\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003e原稿種別: \u003c\/strong\u003e日本語\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003ePDFファイルサイズ: \u003c\/strong\u003e871 Kバイト\u003c\/p\u003e","brand":"IEEJ-PDF","offers":[{"title":"PDFダウンロード（一般価格330円\/会員価格220円） \/ A4 \/ 8","offer_id":46393488965871,"sku":"IEEJ-TER05013-PDF","price":330.0,"currency_code":"JPY","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0718\/9512\/2159\/files\/IEEJ-PDF_e4be105e-ca4d-4b33-88a1-b60f037d238d.png?v=1744692914","url":"https:\/\/ieej.bookpark.ne.jp\/products\/ieej-ter05013","provider":"電気学会 電子図書館","version":"1.0","type":"link"}