A mathematical model of verification strategies.

Alejandro Salado Hanumanthrao Kannan

Published in: Syst. Eng. (2018)

Keyphrases

mathematical model
ant colony algorithm
control strategy
mathematical models
model checking
formal verification
signature verification
control strategies
real time
simulation model
verification method
optimal strategy
reverse engineering
feasible solution
face recognition
information retrieval
data sets