Login / Signup
Usage of Invariants for Symbolic Verification of Requirements.
Alexander A. Letichevsky
Alexander Godlevsky
Anton Guba
Alexander Kolchin
Olexander A. Letychevskyi
Vladimir S. Peschanenko
Published in:
SCSS (2013)
Keyphrases
</>
model checking
application specific
real time
connectionist systems
grid workflow
asynchronous circuits
face verification
user requirements
high level
database
pose estimation
invariant features
end users
symbolic representation
multi agent systems
signature verification
multiscale
connectionist models