✦ LIBER ✦

Automated Verification of Signalling Principles in Railway Interlocking Systems

✍ Scribed by Karim Kanso; Faron Moller; Anton Setzer

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Formal Verification of a Railway Interlo

✍ A. Cimatti; F. Giunchiglia; G. Mongardi; D. Romano; F. Torielli; P. Traverso 📂 Article 📅 1998 🏛 Springer 🌐 English ⚖ 130 KB

Principles of formalization of the syndr

✍ T. N. Krasnova; I. P. Kryukova; A. E. Krasnov; V. G. Lebedev; L. A. Pankova 📂 Article 📅 1998 🏛 Springer US 🌐 English ⚖ 494 KB

A system for the automated data-acquisit

✍ J.Omar Bustamante 📂 Article 📅 1988 🏛 Elsevier Science 🌐 English ⚖ 855 KB

Automated complex to process biomedical

✍ V. A. Kalantar; E. V. Astashkina; V. M. Lebedev; T. N. Skorunskaya 📂 Article 📅 1983 🏛 Springer US 🌐 English ⚖ 243 KB

Gathering of guidelines: ‘Ergonomic prin

✍ David Whitfield 📂 Article 📅 1984 🏛 Elsevier Science 🌐 English ⚖ 136 KB

A novel approach for an automated liquid

✍ Helmar Wiltsche; Karl Prattes; Günter Knapp 📂 Article 📅 2011 🏛 Springer 🌐 English ⚖ 543 KB