Deriving of Time Constants in Timed Automata for Hazard Transition Sequences for STAMP/STPA

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]

Abstract

Abstract is missing.