Visible to the public Biblio

Filters: Author is T. Zhou  [Clear All Filters]
2018-05-25
Y. Bao, M. Chen, Q. Zhu, T. wei, F. Mallet, T. Zhou.  2017.  Quantitative Performance Evaluation of Uncertainty-Aware Hybrid AADL Designs Using Statistical Model Checking. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. PP:1-1.