{"product_id":"ieej-dt11y143","title":"形式的手法による鉄道保安制御システムの信頼性向上","description":"\u003cp\u003e\u003cstrong\u003eカテゴリ: \u003c\/strong\u003e部門大会\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003e論文No: \u003c\/strong\u003eY-143\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003eグループ名: \u003c\/strong\u003e【D】平成23年電気学会産業応用部門大会講演論文集\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003e発行日: \u003c\/strong\u003e2011\/09\/06\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003eタイトル(英語): \u003c\/strong\u003eReliability improvement of railway security system by formal method\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003e著者名: \u003c\/strong\u003e黒田 智也(日本大学),謝 国(日本大学),中村 英夫(日本大学),高橋 聖(日本大学)\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003e著者名(英語): \u003c\/strong\u003eTomoya Kuroda(Nihon University),Guo Xie(Nihon University),Hideo Nakamura(Nihon University),Sei Takahasi(Nihon University)\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003eキーワード: \u003c\/strong\u003e形式的手法|ATP閉塞システム|VDM++| Formal method|ATP Block System|VDM++\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003ePDFファイルサイズ: \u003c\/strong\u003e1,044 Kバイト\u003c\/p\u003e","brand":"IEEJ-PDF","offers":[{"title":"PDFダウンロード（一般価格440円\/会員価格220円） \/ A4 \/ 1","offer_id":46405566005487,"sku":"IEEJ-DT11Y143-PDF","price":440.0,"currency_code":"JPY","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0718\/9512\/2159\/files\/IEEJ-PDF_be6db70c-8a36-4833-a0a7-05a6c145264b.png?v=1745102303","url":"https:\/\/ieej.bookpark.ne.jp\/products\/ieej-dt11y143","provider":"電気学会 電子図書館","version":"1.0","type":"link"}