共 50 条
- [3] Compositional modeling and refinement for hierarchical hybrid systems JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2006, 68 (1-2): : 105 - 128
- [4] Compositional Cyber-Physical Systems Modeling ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2021, (333): : 125 - 138
- [6] Local liveness for compositional modeling of fair reactive systems COMPUTER AIDED VERIFICATION, 1995, 939 : 166 - 179
- [7] PARTICLE SYSTEMS WITH SINGULAR INTERACTION THROUGH HITTING TIMES: APPLICATION IN SYSTEMIC RISK MODELING ANNALS OF APPLIED PROBABILITY, 2019, 29 (01): : 89 - 129
- [8] A framework for heterogeneous formal modeling and compositional verification of avionics systems Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, Proceedings, 2004, : 223 - 232
- [10] Novel runtime systems support for adaptive compositional modeling in PSEs FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE, 2005, 21 (06): : 878 - 895