共 50 条
- [1] Verification of Solid State Interlocking Programs SOFTWARE ENGINEERING AND FORMAL METHODS, 2014, 8368 : 253 - 268
- [2] NYCT SOLID STATE INTERLOCKING (SSI) SAFETY CERTIFICATION PROCEEDINGS OF THE ASME JOINT RAIL CONFERENCE, 2016, 2016,
- [3] The mechanical verification of solid state interlocking geographic data FORMAL METHODS PACIFIC '97, 1997, : 223 - 242
- [4] New solid-state interlocking signal boxes Revue Generale des Chemins de Fer, 2000, (08): : 17 - 24
- [7] MICROPROCESSORS IN RAILWAY SIGNALLING: THE SOLID-STATE INTERLOCKING. Microprocessors and Microsystems, 1987, 11 (05): : 264 - 272
- [8] Approaches to new solid state reactions ABSTRACTS OF PAPERS OF THE AMERICAN CHEMICAL SOCIETY, 2015, 250