Login / Signup
Verification of Integrated Subsystems.
E. Thomas Schubert
Published in:
TPHOLs (1991)
Keyphrases
</>
information systems
objective function
database
real time
artificial neural networks
probability distribution
model checking
formal methods
integrating multiple