The Journal of Reliability Engineering Association of Japan
Online ISSN : 2424-2543
Print ISSN : 0919-2697
ISSN-L : 0919-2697
On the Utilitiy of Combined Application of STAMP/STPA and Model Checking to Single Track Railroad Crossing
Kozo OKANO, Keishi OKAMOTO, Shinpei OGATA
Author information
JOURNAL FREE ACCESS

2019 Volume 41 Issue 2 Pages 89-95

Details
Download PDF (812K)
Download citation RIS

(compatible with EndNote, Reference Manager, ProCite, RefWorks)

BIB TEX

(compatible with BibDesk, LaTeX)

Text
How to download citation
Contact us
Abstract
[in Japanese]
Content from these authors
© 2019 Reliability Engineering Association of Japan
Previous article Next article
Favorites & Alerts

Recently viewed articles
Share this page
feedback
 Top