Sign in

Automata-Based Behavioural Contracts with Action Correlation.

Davide BasileRosario PuglieseFrancesco TiezziPierpaolo DeganoGian 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