共 50 条
- [22] Compositional Synthesis of Concurrent Systems through Causal Model Checking and Learning FM 2014: FORMAL METHODS, 2014, 8442 : 416 - 431
- [23] Compositional Modeling of Nonlinear Dynamical Systems with ODE-based Random Featurese ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS 34 (NEURIPS 2021), 2021, 34
- [24] DETERMINATION OF THE STATISTICAL CHARACTERISTICS OF SYSTEMS BY MODELING RESULTS SOVIET JOURNAL OF COMPUTER AND SYSTEMS SCIENCES, 1986, 24 (04): : 94 - 103
- [25] Systemic Risk Modeling and Evaluation through Simulation and Bayesian Networks PROCEEDINGS OF THE 12TH INTERNATIONAL CONFERENCE ON AVAILABILITY, RELIABILITY AND SECURITY (ARES 2017), 2017,
- [26] COMPOSITIONAL MODELING WITH AN EQUATION OF STATE SOCIETY OF PETROLEUM ENGINEERS JOURNAL, 1981, 21 (06): : 687 - 698
- [27] Compositional based modeling. ABSTRACTS OF PAPERS OF THE AMERICAN CHEMICAL SOCIETY, 2001, 222 : U169 - U169
- [29] Compositional systems and methods VERIFICATION OF DIGITAL AND HYBRID SYSTEM, 2000, 170 : 138 - 151