Sign in
On the Pragmatics of Moving from System Models to Program Contracts.
Thomas Santen
Published in:
ISoLA (1) (2022)
Keyphrases
</>
probabilistic model
statistical models
static analysis
databases
website
bayesian networks
information extraction
statistical methods
artificial intelligence
search engine
information systems
supply chain
least squares
graphical models
classification models