代数仕様を用いた数理計画モデルの形式的検証について (回路とシステム)  [in Japanese] On formal verification of mathematical programming models by algebraic specifications  [in Japanese]

Search this Article

Journal

  • 電子情報通信学会技術研究報告 = IEICE technical report : 信学技報

    電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 118(295), 127-130, 2018-11-12

    電子情報通信学会

Codes

  • NII Article ID (NAID)
    40021747616
  • NII NACSIS-CAT ID (NCID)
    AN10013094
  • Text Lang
    JPN
  • ISSN
    0913-5685
  • NDL Article ID
    029386535
  • NDL Call No.
    Z16-940
  • Data Source
    NDL 
Page Top