共 50 条
- [44] Integration in PVS: Tables, types, and model checking TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, 1997, 1217 : 366 - 383
- [45] ROTARY-INDEXING TABLE FOR AUTOMATIC ASSEMBLY SOVIET ENGINEERING RESEARCH, 1987, 7 (01): : 79 - 80
- [46] A method of encapsulation using a rotary indexing mold ANTEC '96: PLASTICS - RACING INTO THE FUTURE, VOLS I-III: VOL I: PROCESSING; VOL II: MATERIALS; VOL III: SPACIAL AREAS, 1996, 42 : 1011 - 1016
- [47] On the improvement of tracking performance of positioning tables PROCEEDINGS OF THE 1996 IEEE IECON - 22ND INTERNATIONAL CONFERENCE ON INDUSTRIAL ELECTRONICS, CONTROL, AND INSTRUMENTATION, VOLS 1-3, 1996, : 1990 - 1995
- [49] Model Checking Indoor Positioning System With Triangulation Positioning Technology 2018 NINTH INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY IN MEDICINE AND EDUCATION (ITME 2018), 2018, : 862 - 866
- [50] Hydrostatic installation remanufacturing of heavy rotary tables Annals of DAAAM for 2005 & Proceedings of the 16th International DAAAM Symposium: INTELLIGENT MANUFACTURING & AUTOMATION: FOCUS ON YOUNG RESEARCHES AND SCIENTISTS, 2005, : 315 - 316