Login / Signup
Unit Verification Effects on Reused Components in Sequential Project Releases.
Tihana Galinac Grbac
Per Runeson
Darko Huljenic
Published in:
SEAA (2017)
Keyphrases
</>
software projects
project management
model checking
failure modes
machine learning
software development
formal verification
functional verification
data sets
website
data structure
digital libraries
south african
european project
verification method