鄭准教授らの論文がIEEE Transactions on Software Engineering (core rank A*)に採録されました
Towards scalable model checking of reflective systems via labeled transition systems
- Kenji Tei, Yasuyuki Tahara, Akihiko Ohsuga
- IEEE Transactions on Software Engineering (TSE), 23 pages, 2022年5月