Login / Signup
The SafeCap Trajectory: Industry-Driven Improvement of an Interlocking Verification Tool.
Alexei Iliasov
Dominic Taylor
Linas Laibinis
Alexander B. Romanovsky
Published in:
RSSRail (2023)
Keyphrases
</>
software tools
neural network
signature verification
data driven
model checking
world wide
cost reduction
learning algorithm
information systems
user friendly
formal verification
asynchronous circuits
fastest growing