Complete Contracts through Specification Drivers.

Alexandr Naumchev Bertrand Meyer

Published in: TASE (2016)

Keyphrases

provably correct
real time
neural network
high level
multiscale
hidden markov models
database
genetic algorithm
information systems
three dimensional
data structure
supply chain
key factors