共 50 条
- [41] Available fail-safe systems PROCEEDINGS OF THE SIXTH IEEE COMPUTER SOCIETY WORKSHOP ON FUTURE TRENDS OF DISTRIBUTED COMPUTING SYSTEMS, 1997, : 176 - 182
- [44] Synthesis of Fail-Safe Behaviours ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2022, (362):