๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Formal verification of safety protocol in train control system

โœ Scribed by Yan Zhang; Tao Tang; KePing Li; Jose Manuel Mera; Li Zhu; Lin Zhao; TianHua Xu

Book ID
107357128
Publisher
SP Science China Press
Year
2011
Tongue
English
Weight
771 KB
Volume
54
Category
Article
ISSN
1006-9321

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

A formal approach for the construction a
A formal approach for the construction and verification of railway control systems
โœ Anne E. Haxthausen; Jan Peleska; Sebastian Kinder ๐Ÿ“‚ Article ๐Ÿ“… 2009 ๐Ÿ› Springer ๐ŸŒ English โš– 660 KB

## Abstract This paper describes a complete model-based development and verification approach for railway control systems. For each control system to be generated, the user makes a description of the application-specific parameters in a domain-specific language. This description is automatically tr