Login / Signup
Automatically verifying an object-oriented specification of the Steam-Boiler system.
Paulo J. F. Carreira
Miguel E. F. Costa
Published in:
Sci. Comput. Program. (2003)
Keyphrases
</>
power plant
automatically generated
soft computing
databases
object oriented
user defined
artificial intelligence
high level
coal fired
neural network
machine learning
database systems
user interface
fault diagnosis
model checking
formal verification