Login / Signup

Study on Formal Specification of Automatic Train Protection and Block System for Local Line.

Guo XieAkira AsanoSei TakahashiHideo Nakamura
Published in: SSIRI (Companion) (2011)
Keyphrases
  • formal specification
  • data warehouse
  • multistage
  • model checking
  • distributed environment
  • formal methods
  • specification languages