メンバー紹介 - Kenji Tei, Yasuyuki Tahara, and Akihiko Ohsuga: Towards scalable model checking of reflective systems via labeled transition systems, IEEE Transactions on Software Engineering, vol. 49, no. 3, pp. 1299-1322 (2023.3)

Kenji Tei, Yasuyuki Tahara, and Akihiko Ohsuga: Towards scalable model checking of reflective systems via labeled transition systems, IEEE Transactions on Software Engineering, vol. 49, no. 3, pp. 1299-1322 (2023.3)