✦ LIBER ✦

Safety Verification for Train Traffic Control Communications

✍ Scribed by Tarnai, G.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Formal verification of safety protocol i

✍ Yan Zhang; Tao Tang; KePing Li; Jose Manuel Mera; Li Zhu; Lin Zhao; TianHua Xu 📂 Article 📅 2011 🏛 SP Science China Press 🌐 English ⚖ 771 KB

Traffic Modelling for Moving-Block Train

✍ Tao, Tang; Ke-Ping, Li 📂 Article 📅 2007 🏛 IOP Publishing 🌐 English ⚖ 233 KB

Striking the balance between formality a

✍ Mats Andre´n a,*, Johan M. Sanne b, Per Linell 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 225 KB

Conservation of Communications Bandwidth

✍ Ryerson, J. 📂 Article 📅 1957 🏛 IEEE 🌐 English ⚖ 538 KB

Traffic Committee Urges Mandatory Driver

📂 Article 📅 2009 🏛 National Council of Juvenile and Family Court Judg 🌐 English ⚖ 279 KB

4827418 Expert system for air traffic co

📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 135 KB