Sign in

Relaxed Effective Callback Freedom: A Parametric Correctness Condition for Sequential Modules With Callbacks.

Elvira AlbertShelly GrossmanNoam RinetzkyClara Rodríguez-NúñezAlbert RubioMooly Sagiv
Published in: IEEE Trans. Dependable Secur. Comput. (2023)
Keyphrases
  • neural network
  • real time
  • digital libraries
  • feature space
  • real world
  • social networks
  • computer vision
  • clustering algorithm
  • high level
  • high quality
  • bayesian networks
  • expert systems
  • sufficient conditions