@inproceedings{CTT100680089,
  author = {塚本達也 and 高橋宏治},
  title = {エレベーター制御のコントローラプログラミングのためのシステムモデルからSequential Function Chartへの自動変換ツール},
  booktitle = {電子情報通信学会技術研究報告＜システム数理と応用＞},
  year = 2014,
}

@inproceedings{CTT100680080,
  author = {Tatsuya Tsukamoto and Koji Takahashi},
  title = {Modeling of Elevator Control Logic Based on Mark Flow Graph and Its Implementation on Programmable Logic Controller},
  booktitle = {Proceedings of 2014 IEEE 3rd Global Conference on Consumer Electronics (GCCE 2014)},
  year = 2014,
}

@inproceedings{CTT100680057,
  author = {塚本達也 and 高橋宏治},
  title = {エレベーター制御論理のプログラマブルコントローラへの実装のためのMark Flow GraphモデルからSequential Function Chartへの変換},
  booktitle = {電子情報通信学会技術研究報告＜システム数理と応用＞},
  year = 2014,
}

@inproceedings{CTT100680045,
  author = {塚本達也 and 高橋宏治},
  title = {エレベーターにおけるカゴおよびシャフト制御論理のMark Flow GraphモデルからSequential Function Chartへの変換によるコントローラプログラミング},
  booktitle = {電子情報通信学会技術研究報告＜システム数理と応用＞},
  year = 2014,
}

@inproceedings{CTT100663727,
  author = {塚本達也 and 高橋宏治},
  title = {エレベーターにおけるカゴおよびシャフト制御論理のMark Flow Graphに基づく基本モデルとSequential Function Chartによる制御実現},
  booktitle = {電子情報通信学会技術研究報告（システム数理と応用）},
  year = 2013,
}