Registered user since Thu 10 Apr 2025
Name:Tsutomu Kobayashi
Country:Japan
Affiliation:Japan Aerospace Exploration Agency (JAXA)
Personal website: https://researchmap.jp/tsutomu.kobayashi?lang=en
Research interests:Formal methods, Systems engineering
Contributions
Using general profile