The Application of Formal Methods to the Development of an ATP (Automatic Train Protection) System

Նմանատիպ նյութեր

• A Formal Specification of an Automatic Train Protection System
  ‌: Simpson, A
  Հրապարակվել է: (1994)
• Ten Diverse Formal Models for a CBTC Automatic Train Supervision System
  ‌: Franco Mazzanti, և այլն
  Հրապարակվել է: (2018-03-01)
• Lightning Protection Performance Assessment of Transmission Line Based on ATP model Automatic Generation
  ‌: Luo Hanwu, և այլն
  Հրապարակվել է: (2016-01-01)
• Development of Automatic Protection System for Applications and Transmitted, Processed and Stored Their Data
  ‌: A. A. Krasnopevtsev
  Հրապարակվել է: (2010-09-01)
• Teaching Formal Methods in Context
  ‌: Davies, J, և այլն
  Հրապարակվել է: (2004)