Assurance technology for large transport operation control system

Kazuo Kera, Masayuki Shoji, Tokuro Igarashi, Akio Ando, Kinji Mori. Assurance technology for large transport operation control system. In Qingquan Qian, editor, 2005 International Symposium on Autonomous Decentralized Systems, ISADS 2005, Chengdu, China, April 4-8, 2005, Proceedings. pages 250-258, IEEE, 2005. [doi]

@inproceedings{KeraSIAM05,
  title = {Assurance technology for large transport operation control system},
  author = {Kazuo Kera and Masayuki Shoji and Tokuro Igarashi and Akio Ando and Kinji Mori},
  year = {2005},
  doi = {10.1109/ISADS.2005.1452062},
  url = {http://dx.doi.org/10.1109/ISADS.2005.1452062},
  researchr = {https://researchr.org/publication/KeraSIAM05},
  cites = {0},
  citedby = {0},
  pages = {250-258},
  booktitle = {2005 International Symposium on Autonomous Decentralized Systems, ISADS 2005, Chengdu, China, April 4-8, 2005, Proceedings},
  editor = {Qingquan Qian},
  publisher = {IEEE},
  isbn = {0-7803-8963-8},
}