Verification and Validation in Industry -- A Qualitative Survey on the State of Practice.

Carina Andersson Per Runeson

Published in: ISESE (2002)

Keyphrases

real world
case study
state space
qualitative and quantitative
database
artificial intelligence
information systems
model checking
quantitative and qualitative