Verification of continuity, using temporal code.
Georg HartmannSiegbert DrüePublished in: IJCNN (1990)
Keyphrases
- source code
- temporal data
- temporal constraints
- spatio temporal
- databases
- temporal reasoning
- temporal information
- neural network
- model checking
- spatial and temporal
- temporal evolution
- face verification
- temporal databases
- space time
- temporal dimension
- signature verification
- data sets
- high level
- face recognition
- temporal relationships
- software development
- temporal consistency
- temporal behavior
- temporal characteristics
- linear temporal logic