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
2026
FM
- Session Chair of FMTea Opening (part of Workshop: FMTea)
- Case Study Track Co-Chair in Organizing Committee within the ABZ-track
- Session Chair of FMTea FM4All Session 2 (part of Workshop: FMTea)
- Publicity Chair in Organizing Committee
- Session Chair of ABZ Session 6: Case Study (part of ABZ)
- Session Chair of FMTea Invited Talk 2 (part of Workshop: FMTea)
- Committee Member in Program Committee within the Research Track-track
- Session Chair of FMTea Closing (part of Workshop: FMTea)
- Formal Modelling and Analysis of the ORAN O2 Interface in Alloy: Implications for NTN Deployment
Using general profile