E-LIB Suche - Ergebnisse für: Kotowski, Niklas - Sprache EN

Bookchapter (Online) X

Search for persons X

1

Acceleration Techniques for Symbolic Simulation of Railway ..:

, In: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification; Lecture Notes in Computer Science,

Haehn, Rebecca ; Ábrahám, Erika ; Kotowski, Niklas - p. 46-62 , 2022

Link: https://doi.org/10.1007/..

1-1