共 50 条
- [31] Model Checking Interlocking Control Tables FORMS/FORMAT 2010: FORMAL METHODS FOR AUTOMATION AND SAFETY IN RAILWAY AND AUTOMOTIVE SYSTEMS, 2011, : 107 - 115
- [34] Functional Dependency Detection with Sequential Indexing Tables 2019 IEEE 23RD INTERNATIONAL CONFERENCE ON INTELLIGENT ENGINEERING SYSTEMS (INES 2019), 2019, : 307 - 311
- [39] Positioning with magnetic rotary encoders Horvatic, Stefan, 1600, Springer-VDI Verlag GmbH and Co. KG (65): : 7 - 8
- [40] ERRORS IN AUTOMATIC CHECKING OF DIMENSIONS MECHANIK MIESIECZNIK NAUKOWO-TECHNICZNY, 1972, 45 (08): : 444 - &