Kozo Okano, Pan Yang 0015, Shinpei Ogata, Keishi Okamoto. Deriving of Time Constants in Timed Automata for Hazard Transition Sequences for STAMP/STPA. In Matteo Cristani, Carlos Toro 0001, Cecilia Zanni-Merk, Robert J. Howlett, Lakhmi C. Jain, editors, Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 24th International Conference KES-2020, Virtual Event, 16-18 September 2020. Volume 176 of Procedia Computer Science, pages 1392-1401, Elsevier, 2020. [doi]
@inproceedings{Okano0OO20,
title = {Deriving of Time Constants in Timed Automata for Hazard Transition Sequences for STAMP/STPA},
author = {Kozo Okano and Pan Yang 0015 and Shinpei Ogata and Keishi Okamoto},
year = {2020},
doi = {10.1016/j.procs.2020.09.149},
url = {https://doi.org/10.1016/j.procs.2020.09.149},
researchr = {https://researchr.org/publication/Okano0OO20},
cites = {0},
citedby = {0},
pages = {1392-1401},
booktitle = {Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 24th International Conference KES-2020, Virtual Event, 16-18 September 2020},
editor = {Matteo Cristani and Carlos Toro 0001 and Cecilia Zanni-Merk and Robert J. Howlett and Lakhmi C. Jain},
volume = {176},
series = {Procedia Computer Science},
publisher = {Elsevier},
}