Sign in
On Formal Definition and Analysis of Formal Verification Processes.
Leon J. Osterweil
Published in:
Specification, Algebra, and Software (2014)
Keyphrases
</>
formal verification
data analysis
data sets
process model
database
neural network
multi agent systems
image analysis
software development
model checking