{"product_id":"ieej-zt01s1001","title":"動作仕様記述言語（SOL）に対する記号モデル検査法を用いた効率シーケンス制御論理検証方式の提案","description":"\u003cp\u003e\u003cstrong\u003eカテゴリ: \u003c\/strong\u003e全国大会\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003e論文No: \u003c\/strong\u003e3-S10-1\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003eグループ名: \u003c\/strong\u003e【全国大会】平成13年電気学会全国大会論文集\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003e発行日: \u003c\/strong\u003e2001\/03\/21\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003e著者名: \u003c\/strong\u003e中芝崇明 (大阪大学),土屋晃胤 (大阪大学),一階良知 (大阪大学),薦田憲久 (大阪大学)\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003e原稿種別: \u003c\/strong\u003e日本語\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003ePDFファイルサイズ: \u003c\/strong\u003e486 Kバイト\u003c\/p\u003e","brand":"IEEJ-PDF","offers":[{"title":"PDFダウンロード（一般価格440円\/会員価格220円） \/ A4 \/ 4","offer_id":46395752087791,"sku":"IEEJ-ZT01S1001-PDF","price":440.0,"currency_code":"JPY","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0718\/9512\/2159\/files\/IEEJ-PDF_16febdd8-b39d-411b-aa1f-4dd853262e60.png?v=1744788327","url":"https:\/\/ieej.bookpark.ne.jp\/products\/ieej-zt01s1001","provider":"電気学会 電子図書館","version":"1.0","type":"link"}