Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Mitsuaki TSUJI"'
Autor:
Naoki Ishihama, Mitsuaki Tsuji, Hajimu Iida, Kazuki Kakimoto, Masafumi Katahira, Toshinori Takai
Publikováno v:
ICST Workshops
Recently, a hazard analysis technique STAMP/STPA has been widely accepted since it is recognized as being suitable for software-intensive systems. Using STAMP/STPA, we can find hazardous scenarios of the target system that cannot be obtained by other
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d6791b80c38576b580e12e1a1b280d00
https://doi.org/10.1109/icstw50294.2020.00032
https://doi.org/10.1109/icstw50294.2020.00032
Publikováno v:
DASC/PiCom/DataCom/CyberSciTech
We propose a formal verification method for deadlock detection in the scheduling of transportation systems in which vehicles run in fleets. Especially, as a prime example, we here consider the last-mile transportation system based on autonomous vehic
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::655e55478796bdf50c25989f731f2399
https://doi.org/10.1109/dasc-picom-datacom-cyberscitec.2017.84
https://doi.org/10.1109/dasc-picom-datacom-cyberscitec.2017.84
Autor:
Mitsuaki Tsuji
Publikováno v:
Okayama Igakkai Zasshi (Journal of Okayama Medical Association). 106:51-60
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::31cb8224de1e412febe81d722442e19b
https://doi.org/10.4044/joma1947.106.1-2_51
https://doi.org/10.4044/joma1947.106.1-2_51
Autor:
Koshi SATO, Harumi OMIYA, Muneki YOSHIDA, Mitsuaki TSUJI, Kazuhiko MAEKAWA, Hisanori UCHIDA, Masatomi OBA, Koichi ASO
Publikováno v:
The Japanese Journal of Gastroenterological Surgery. 16:593-600
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::dc6555c8aef536d7c7cacd62ad2af524
https://doi.org/10.5833/jjgs.16.593
https://doi.org/10.5833/jjgs.16.593