papers
Publications (3)
cs.SE2018
Formal Analysis of Non-functional Properties for a Cooperative Automotive System
Eun-Young Kang, Li Huang, Dongrui Mu
cs.SE2018
Probabilistic Analysis of Weakly-Hard Real-Time Systems
Eun-Young Kang, Dongrui Mu, Li Huang
cs.SE2018
Model-based Verification and Validation of an Autonomous Vehicle System
Eun-Young Kang, Dongrui Mu, Li Huang +1