Visible to the public Biblio

Filters: Author is T. Zhou  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
Q
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.