Junri Mi

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 2

Top Topics

Learning Analytics

Top Venues

J. Syst. Softw.

Publications

Miaomiao Zhang, Yu Teng, Hui Kong, John W. Baugh Jr., Yu Su, Junri Mi, Bowen Du
Automatic modelling and verification of Autosar architectures. J. Syst. Softw. 201 (2023)
Hanyue Chen, Yu Su, Miaomiao Zhang, Zhiming Liu, Junri Mi
Learning Assumptions for Compositional Verification of Timed Automata. CAV (1) (2023)