共 50 条
- [22] Model checking control communication of a FACTS device 2006 INTERNATIONAL CONFERENCE ON PARALLEL PROCESSING WORKSHOPS, PROCEEDINGS, 2006, : 391 - +
- [23] DEVICE FOR CHECKING THE LIGHT TRANSMISSION OF FIBER LIGHTGUIDES SOVIET JOURNAL OF OPTICAL TECHNOLOGY, 1991, 58 (01): : 59 - 60
- [24] Device for checking energy and orientation of laser radiator Instruments and experimental techniques New York, 1988, 31 (3 pt 2): : 763 - 765
- [26] DEVICE FOR CHECKING LINEARITY OF IR RADIATION DETECTORS SOVIET JOURNAL OF OPTICAL TECHNOLOGY, 1979, 46 (12): : 754 - 755
- [27] 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
- [29] A VISUAL LIGHT-VALVE CHECKING DEVICE JOURNAL OF THE SOCIETY OF MOTION PICTURE ENGINEERS, 1944, 42 (05): : 283 - 286
- [30] Using model checking to debug device firmware USENIX ASSOCIATION PROCEEDINGS OF THE FIFTH SYMPOSIUM ON OPERATING SYSTEMS DESIGN AND IMPLEMENTATION, 2002, : 61 - 74