共 50 条
- [1] Verifying nondeterministic implementations of deterministic systems [J]. FORMAL METHODS IN COMPUTER-AIDED DESIGN, 1996, 1166 : 109 - 125
- [3] A new approach to deterministic and nondeterministic decisional systems minimization - principles and results [J]. ADVANCES IN APPLIED MATHEMATICS, SYSTEMS, COMMUNICATIONS AND COMPUTERS, 2008, : 240 - 251
- [5] System engineering approach for safety management of complex systems [J]. EUROPEAN SIMULATION AND MODELLING CONFERENCE 2009, 2009, : 150 - +
- [6] SYSTEMS ENGINEERING APPROACH TO COMPLEX CHEMICAL SYSTEMS [J]. MAGYAR KEMIKUSOK LAPJA, 1970, 25 (05): : 265 - &
- [7] Applying System of Systems Engineering Approach to Build Complex Cyber Physical Systems [J]. PROGRESS IN SYSTEMS ENGINEERING, 2015, 366 : 621 - 628
- [8] 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
- [9] Safety evaluation and management of complex systems: A system engineering approach [J]. CONCURRENT ENGINEERING-RESEARCH AND APPLICATIONS, 2012, 20 (02): : 149 - 159
- [10] 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