共 50 条
- [1] Model-based telerobotics with vision [J]. 1997 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION - PROCEEDINGS, VOLS 1-4, 1997, : 1297 - 1304
- [3] CONNECTIONIST MODEL-BASED STEREO VISION FOR TELEROBOTICS [J]. VISUAL INFORMATION PROCESSING FOR TELEVISION AND TELEROBOTICS, 1989, 3053 : 261 - 270
- [4] Model-based safety assessments [J]. PROBABILISTIC SAFETY ASSESSMENT AND MANAGEMENT (PSAM 4), VOLS 1-4, 1998, : 247 - 252
- [6] Model-Based Verification of Safety Contracts [J]. SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2014, 2015, 8938 : 101 - 115
- [7] Probabilistic Model-Based Safety Analysis [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2010, (28): : 114 - 128
- [9] Model-based concurrent systems design for safety [J]. CONCURRENT ENGINEERING-RESEARCH AND APPLICATIONS, 2004, 12 (04): : 287 - 294