Foreword to the Thematic Track: Quality Aspects in Verification and Validation.

Gianluca Mezzetti

Published in: QUATIC (2016)

Keyphrases

high quality
quality measures
artificial intelligence
formal verification
real time
learning algorithm
website
computer science
control system
model checking
low quality
higher quality
signature verification