Sign in

Definition and Induction of a Specification Order Relation between Capabilities.

Imen JerbiSami Bhiri
Published in: SCC (2021)
Keyphrases
  • social networks
  • inductive learning
  • real time
  • neural network
  • high level
  • bayesian networks
  • petri net
  • formal verification