ASSET: A Lifecycle Verification and Visibility System.

Leon J. Osterweil John R. Brown Leon G. Stucki

Published in: COMPSAC (1978)

Keyphrases

model checking
neural network
data sets
data mining
multiscale
formal verification
person identification
database
case study
bayesian networks
business processes
face verification
business process management
verification method
concurrent systems
portfolio theory