Login / Signup
Automata-Based Behavioural Contracts with Action Correlation.
Davide Basile
Rosario Pugliese
Francesco Tiezzi
Pierpaolo Degano
Gian Luigi Ferrari
Published in:
From Software Engineering to Formal Methods and Tools, and Back (2019)
Keyphrases
</>
supply chain
correlation coefficient
database
data mining
machine learning
human actions
databases
cross correlation
reasoning about actions
positively correlated