共 50 条
- [2] Polychrony for refinement-based design DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION, PROCEEDINGS, 2003, : 1172 - 1173
- [3] Refinement-based requirements modeling using Triggered Message Sequence Charts 11TH IEEE INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE, PROCEEDINGS, 2003, : 95 - 104
- [4] Refinement-Based Modeling and Formal Verification for Multiple Secure Partitions of TrustZone Ruan Jian Xue Bao/Journal of Software, 2023, 34 (08):
- [5] A Composition Mechanism for Refinement-Based Methods 2017 22ND INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS), 2017, : 100 - 109
- [7] EasyModel: A Refinement-Based Modeling and Verification Approach for Self-Adaptive Software Journal of Computer Science and Technology, 2020, 35 : 1016 - 1046
- [10] Refinement-based semantics of parallel procedures INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, VOLS I-V, PROCEEDINGS, 1999, : 1810 - 1816