Unified Train Driving Policy

This chapter presents a domain‐specific formal modeling language uniformly addressing fixed and moving block principles in both discrete and continuous contexts. An objective of this work is to help signaling engineers to reason about safety and performance within the scope of a single railway model...

Celý popis

Podrobná bibliografie

Vydáno v:	Formal Methods Applied to Complex Systems: Implementation of the B Method s. 447 - 474
Hlavní autoři:	Iliasov, Alexei, Lopatkin, Ilya, Romanovsky, Alexander
Médium:	Kapitola
Jazyk:	angličtina
Vydáno:	Hoboken, NJ, USA John Wiley & Sons, Inc 26.06.2014
Témata:	formal modeling language modeling notation railway networks unified train driving policy (UTDP) well‐formedness
ISBN:	1848217099, 9781848217096
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!