External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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]

Authors

Kozo Okano

This author has not been identified. Look up 'Kozo Okano' in Google

Pan Yang 0015

This author has not been identified. Look up 'Pan Yang 0015' in Google

Shinpei Ogata

This author has not been identified. Look up 'Shinpei Ogata' in Google

Keishi Okamoto

This author has not been identified. Look up 'Keishi Okamoto' in Google
runs on