Login / Signup
The Ada test and verification systems (ATVS).
Chuck Hobin
Published in:
TRI-Ada (1988)
Keyphrases
</>
intelligent systems
database systems
computing systems
website
expert systems
learning systems
data mining
computer systems
management system
hardware designs
formal verification
test data
distributed systems
hidden markov models
web services
metadata
information systems
learning algorithm