Login / Signup
The Stream Boiler Case Study: Competition of Formal Program Specification and Development Methods.
Jean-Raymond Abrial
Egon Börger
Hans Langmaack
Published in:
Formal Methods for Industrial Applications (1995)
Keyphrases
</>
case study
computational cost
information systems
knowledge base
preprocessing
significant improvement
machine learning methods
neural network
learning algorithm
high level
benchmark datasets
formal methods
control program