Searching for "Interlocking Control by Distributed Signal Boxes Design and Verification with the SPIN Model Checker." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

1 documents found, showing 1 through 1.

Interlocking control by Distributed Signal Boxes: design and verification with the SPIN model
by Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis — 2006 — Proceedings of the International Symposium on Parallel and Distributed Processing and Applications (ISPA 2006), Lecture Notes in Computer Science 4330
…Interlocking control by Distributed Signal Boxes: design and verification with the SPIN model…
Cited by 1 (1 self) – Add To MetaCart

Showing 1 through 1.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB