共 50 条
- [24] Generic Formal Framework for Compositional Analysis of Hierarchical Scheduling Systems 2018 IEEE 21ST INTERNATIONAL SYMPOSIUM ON REAL-TIME DISTRIBUTED COMPUTING (ISORC 2018), 2018, : 51 - 58
- [26] An Adaptive Hierarchical Sparse Grid Collocation Method for Stochastic Scattering Systems Analysis 2014 XXXITH URSI GENERAL ASSEMBLY AND SCIENTIFIC SYMPOSIUM (URSI GASS), 2014,
- [29] Analysis of Population Structure: A Unifying Framework and Novel Methods Based on Sparse Factor Analysis PLOS GENETICS, 2010, 6 (09):
- [30] A Model-Based Framework for the Specification and Analysis of Hierarchical Scheduling Systems CRITICAL SYSTEMS: FORMAL METHODS AND AUTOMATED VERIFICATION, 2016, 9933 : 133 - 141