×

Found 112 Documents (Results 1–100)

Looking for compatible routes in the railway interlocking system of an overtaking station using a computer algebra system. (English) Zbl 1523.90077

Boulier, François (ed.) et al., Computer algebra in scientific computing. 22nd international workshop, CASC 2020, Linz, Austria, September 14–18, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12291, 528-542 (2020).
MSC:  90B20 68W30 90C35
Full Text: DOI

Stepwise development and model checking of a distributed interlocking system – using RAISE. (English) Zbl 1460.68060

Havelund, Klaus (ed.) et al., Formal methods. 22nd international symposium, FM 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 15–17, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10951, 277-293 (2018).
MSC:  68Q60 90B20 93B70

Detection codes in railway interlocking systems. (English) Zbl 1340.94085

Brandts, J. (ed.) et al., Proceedings of the international conference ‘Applications of mathematics’, Prague, Czech Republic, May 15–17, 2013. In honor of the 70th birthday of Karel Segeth. Prague: Academy of Sciences of the Czech Republic, Institute of Mathematics (ISBN 978-80-85823-61-5). 124-130 (2013).
MSC:  94B05 94B70

Automated verification of signalling principles in railway interlocking systems. (English) Zbl 1335.68140

Miller, Alice (ed.) et al., Proceedings of the 8th international workshop on automated verification of critical systems (AVoCS 2008), Glasgow, UK, September 30 – October 1, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 250, No. 2, 19-31 (2009).
MSC:  68Q60 03B70 68T15 93A30 93C83
Full Text: DOI

Extended vector annotated logic program and its applications to robot action control and automated safety verification. (English) Zbl 1033.68028

Abraham, Ajith (ed.) et al., Hybrid information systems. Proceedings of HIS-2001, 1st international workshop, Adelaide, Australia, December 11–12, 2001. Heidelberg: Physica-Verlag (ISBN 3-7908-1480-6/pbk). Advances in Soft Computing, 665-679 (2002).
MSC:  68N17 68T40

Filter Results by …

Access

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software