共 50 条
- [41] A method to model guidelines for developing railway safety-critical systems with UML ICSOFT 2007: PROCEEDINGS OF THE SECOND INTERNATIONAL CONFERENCE ON SOFTWARE AND DATA TECHNOLOGIES, VOL SE: SOFTWARE ENGINEERING, 2007, : 236 - +
- [42] Probabilistic critical safety wheel wear sizes of Chinese railway freight cars MATERIALS AND PRODUCT TECHNOLOGIES, 2008, 44-46 : 759 - +
- [43] Detection of GNSS Interference in Safety Critical Railway Applications using Commercial Receivers PROCEEDINGS OF THE 33RD INTERNATIONAL TECHNICAL MEETING OF THE SATELLITE DIVISION OF THE INSTITUTE OF NAVIGATION (ION GNSS+ 2020), 2020, : 1476 - 1489
- [44] Model checking safety critical software with SPIN: An application to a railway interlocking system COMPUTER SAFETY, RELIABILITY AND SECURITY, 1998, 1516 : 284 - 295
- [45] Verification of Multiple Models of a Safety-Critical Motor Controller in Railway Systems RELIABILITY, SAFETY, AND SECURITY OF RAILWAY SYSTEMS: MODELLING, ANALYSIS, VERIFICATION, AND CERTIFICATION, RSSRAIL 2022, 2022, 13294 : 83 - 94
- [46] A Map Based Multipath Error Model for Safety Critical Navigation in Railway Environments 2023 IEEE/ION POSITION, LOCATION AND NAVIGATION SYMPOSIUM, PLANS, 2023, : 446 - 457
- [47] HPC Platform for Railway Safety-Critical Functionalities Based on Artificial Intelligence APPLIED SCIENCES-BASEL, 2023, 13 (15):
- [48] Specifying Software Requirements for Safety-Critical Railway Systems: An Experience Report REQUIREMENTS ENGINEERING: FOUNDATION FOR SOFTWARE QUALITY, REFSQ 2017, 2017, 10153 : 363 - 369
- [49] Improving attainment of the critical view of safety during laparoscopic cholecystectomy Surgical Endoscopy, 2020, 34 : 4115 - 4123