C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Towards Agile Verification.
Carlo Ghezzi
Amir Molzam Sharifloo
Claudio Menghi
Published in:
Perspectives on the Future of Software Engineering (2013)
Keyphrases
</>
model checking
project management
artificial neural networks
face verification
formal analysis
formal verification
decision making
web services
supply chain management
data sets
artificial intelligence
hidden markov models
formal methods
verification method
functional verification