共 50 条
- [1] System of Systems Engineering Approach for Complex Deterministic and Nondeterministic Systems (ACDANS) [J]. 2021 16TH INTERNATIONAL SYSTEM OF SYSTEMS ENGINEERING CONFERENCE (SOSE), 2021, : 185 - 190
- [2] Verifying nondeterministic implementations of deterministic systems [J]. FORMAL METHODS IN COMPUTER-AIDED DESIGN, 1996, 1166 : 109 - 125
- [6] Hybrid Deterministic and Nondeterministic Execution of Transactions in Actor Systems [J]. PROCEEDINGS OF THE 2022 INTERNATIONAL CONFERENCE ON MANAGEMENT OF DATA (SIGMOD '22), 2022, : 65 - 78
- [7] Decentralized Control of Nondeterministic Discrete Event Systems with Deterministic Specifications [J]. 2022 37TH INTERNATIONAL TECHNICAL CONFERENCE ON CIRCUITS/SYSTEMS, COMPUTERS AND COMMUNICATIONS (ITC-CSCC 2022), 2022, : 1019 - 1022