共 50 条
- [41] The operational system of measurement device of laser radiation energy distribution APEDE'2002: FIFTH INTERNATIONAL CONFERENCE ON ACTUAL PROBLEMS OF ELECTRON DEVICES ENGINEERING, 2002, : 328 - 331
- [42] Model checking control communication of a FACTS device 2006 INTERNATIONAL CONFERENCE ON PARALLEL PROCESSING WORKSHOPS, PROCEEDINGS, 2006, : 391 - +
- [43] DEVICE FOR CHECKING THE LIGHT TRANSMISSION OF FIBER LIGHTGUIDES SOVIET JOURNAL OF OPTICAL TECHNOLOGY, 1991, 58 (01): : 59 - 60
- [45] DEVICE FOR CHECKING LINEARITY OF IR RADIATION DETECTORS SOVIET JOURNAL OF OPTICAL TECHNOLOGY, 1979, 46 (12): : 754 - 755
- [46] The Development of a Device for GIS Line Phase Checking 2019 4TH INTERNATIONAL WORKSHOP ON MATERIALS ENGINEERING AND COMPUTER SCIENCES (IWMECS 2019), 2019, : 468 - 474
- [47] A VISUAL LIGHT-VALVE CHECKING DEVICE JOURNAL OF THE SOCIETY OF MOTION PICTURE ENGINEERS, 1944, 42 (05): : 283 - 286
- [48] Using model checking to debug device firmware USENIX ASSOCIATION PROCEEDINGS OF THE FIFTH SYMPOSIUM ON OPERATING SYSTEMS DESIGN AND IMPLEMENTATION, 2002, : 61 - 74
- [50] Software Model Checking of Linux Device Drivers ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2017, (253): : 7 - 8