Matrix Approach to DC Railway Electrification Verification.

Eugenio Roanes-Lozano Rubén González-Martín

Published in: ICCS (2017)

Keyphrases

model checking
database
information retrieval
support vector
singular values
website
singular value decomposition
face verification
formal analysis
matrix representation
functional verification