共 50 条
- [32] Software Model Checking of Linux Device Drivers ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2017, (253): : 7 - 8
- [35] AN IMPROVED SPINNING TOP FOR EXPOSURE TIMER CHECKING COUPLED WITH A LIGHT BEAM CHECKING DEVICE BRITISH JOURNAL OF RADIOLOGY, 1969, 42 (495): : 229 - &
- [36] A DEVICE FOR CHECKING THE MOMENT OF RESISTANCE TO ROTATION OF AN ELECTRIC SPINDLE SOVIET ENGINEERING RESEARCH, 1986, 6 (12): : 62 - 63
- [37] DEVICE FOR CHECKING FLOW-RATE AND VOLUME METERS MEASUREMENT TECHNIQUES, 1976, 19 (08) : 1137 - 1138
- [39] DEVICE FOR CHECKING THE ECCENTRICITY OF WELDING ELECTRODE COATINGS. Soviet energy technology, 1987, (07): : 77 - 79