Modeling and Verification of Train Operation Control based on Information Control System Modeling Language von KOGAI, Kei, OYAMA, Kyohei, UEDA, Yoshikazu, TAKAHASHI, Yuki, TAKEZAWA, Takayuki, NAKANO, Toshihiko

Volltext

Realistic Validation of Specification for Information and Control System Description Language using Alloy von KOGAI, Kei, UEDA, Yoshikazu, OKUBO, Satoshi, TAKAHASHI, Yuki, NAKANO, Toshihiko

Volltext

Modeling and Verification of Train Operation Control based on Information Control System Modeling Language von TANAKA, Jiro, KOGAI, Kei, OYAMA, Kyohei, UEDA, Yoshikazu, TAKAHASHI, Yuki, TAKEZAWA, Takayuki, NAKANO, Toshihiko

Volltext

情報制御システム記述言語による列車運行制御モデルの記述と検証 von 小飼, 敬, 小山, 恭平, 上田, 賀一, 高橋, 勇喜, 武澤, 隆之, 中野, 利彦

Volltext

HSP70 mRNA expression by cells of the epithelial rest of Malassez due to mechanical forces in vitro von Kogai, Hideki, Nakajima, Kei, Ser-Od, Tungalag, Al-Wahabi, Akram, Matsuzaka, Kenichi, Nakagawa, Taneaki, Inoue, Takashi

Volltext

Use of Embedded Walls for Mitigation of Liquefaction-Induced Displacement in Slopes and Embankments von Kogai, Yoshihiro, Towhata, Ikuo, Amimoto, Kei, Putra, Hendri Gusti

Volltext