Quantitative Verification in Practice.

Boudewijn R. Haverkort Joost-Pieter Katoen Kim G. Larsen

Published in: ISoLA (2) (2010)

Keyphrases

model checking
real world
qualitative and quantitative
quantitative measures
false acceptance rate
information retrieval
computer vision
multimedia
case study
multiresolution
hidden markov models
quantitative and qualitative
formal methods
asynchronous circuits