Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Keita Sakemi"'
Publikováno v:
Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::740d48f7e915c2b5e1aef052e6643e30
https://doi.org/10.5220/0010845600003119
https://doi.org/10.5220/0010845600003119
Autor:
Kenji Hisazumi, Michihiro Matsumoto, Akira Fukuda, Weiqiang Kong, Takahiro Ando, Yasutaka Michiura, Keita Sakemi, Bo Wang
Publikováno v:
DSA
In this study, we think the feature of exhaustively verifying the process model of model checking is effective for Causal Analysis based on Systems-Theoretic Accident Model and Process (CAST), and discuss the introduction of the model checking techno
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2ae82d6e7ef2e963cd8bee9461da498d
https://doi.org/10.1109/dsa.2018.00032
https://doi.org/10.1109/dsa.2018.00032
Publikováno v:
The Proceedings of the Transportation and Logistics Conference. :2302
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e53243379d541ce578a3a69b5e67ea24
https://doi.org/10.1299/jsmetld.2018.27.2302
https://doi.org/10.1299/jsmetld.2018.27.2302