Sign in
Definition and Induction of a Specification Order Relation between Capabilities.
Imen Jerbi
Sami Bhiri
Published in:
SCC (2021)
Keyphrases
</>
social networks
inductive learning
real time
neural network
high level
bayesian networks
petri net
formal verification