Login / Signup
Contextual Trace Refinement for Concurrent Objects: Safety and Progress.
Brijesh Dongol
Lindsay Groves
Published in:
ICFEM (2016)
Keyphrases
</>
contextual information
d objects
multiple objects
neural network
object level
database
real time
databases
moving objects
query refinement
real world objects
contextual cues