Skip to main content
eScholarship
Open Access Publications from the University of California

Quantitative Performance Evaluation of Uncertainty-Aware Hybrid AADL Designs Using Statistical Model Checking

  • Author(s): Bao, Yongxiang
  • Chen, Mingsong
  • Zhu, Qi
  • Wei, Tongquan
  • Mallet, Frederic
  • Zhou, Tingliang
  • et al.
Main Content
Current View