Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Yasutaka Michiura"'
Publikováno v:
IFAC-PapersOnLine. 55:55-60
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1db17ad0b23a58c9d35becedb08b8f42
https://doi.org/10.1016/j.ifacol.2022.10.231
https://doi.org/10.1016/j.ifacol.2022.10.231
Autor:
Shota Iino, Hideki Nomoto, Takayuki Hirose, Yasutaka Michiura, Takashi Fukui, Yagisawa Yohei, Miki Sasaki, Sayaka Ishizawa, Hiroharu Shibayama
Publikováno v:
2023 IEEE Aerospace Conference.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ad3a02195518d3ae8205935148b2b637
https://doi.org/10.1109/aero55745.2023.10115985
https://doi.org/10.1109/aero55745.2023.10115985
Autor:
Shota Iino, Hideki Nomoto, Yasutaka Michiura, Takayuki Hirose, Miki Sasaki, Sayaka Ishizawa, Takashi Fukui, Yukako Ishitsuka, Yasuo Itabashi, Hiroharu Shibayama, Masaru Wada
Publikováno v:
2022 IEEE Aerospace Conference (AERO).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a35961f63c3c09aacf7ff44311891180
https://doi.org/10.1109/aero53065.2022.9843739
https://doi.org/10.1109/aero53065.2022.9843739
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
Autor:
Akira Fukuda, Kenji Hisazumi, Takahiro Ando, Michihiro Matsumoto, Hirokazu Yatsu, Yasutaka Michiura
Publikováno v:
TENCON 2015 - 2015 IEEE Region 10 Conference.
Independent Verification and Validation (IV&V) [1] has begun to be used in the verification phase of system development. In this paper, we present the document group which we call “Reference Model” that we are developing currently. The Reference
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8b37ab0d8f5b570cc3bcf6a60adbd8bd
https://doi.org/10.1109/tencon.2015.7372818
https://doi.org/10.1109/tencon.2015.7372818