Keyphrases
- formal verification
- d objects
- model checking
- asynchronous circuits
- moving objects
- web services
- object identification
- deformable objects
- object tracking
- complex objects
- databases
- formal methods
- digital objects
- object classes
- data objects
- high level
- data sets
- multiple objects
- complex scenes
- formal specification
- lightweight
- e learning
- linear temporal logic