Ando Takahiro

Toward the Application of Uncertainty Handling Methods to the Continuous Software Engineering

Inoki Hiromasa, Hisazumi Kenji, Ando Takahiro, 2020 .

Visualizing Airplane Traces by Mixed Reality

Ando Takahiro, Nakanishi Tsuneo, Furusho Hiroki, 2020 .

SMArch: Software Architecture for Smart Mobility

Mine Tsunenori, Hisazumi Kenji, Ando Takahiro, 2020 .

Translation Method for SysML State Machine Diagram into Sequential SPIN Model

Hisazumi Kenji, Ando Takahiro, Fukuda Akira, 2016 .