Quantitative verification with adaptive uncertainty reduction.

Naif Alasmari Radu Calinescu Colin Paterson Raffaela Mirandola

Published in: J. Syst. Softw. (2022)

Keyphrases

qualitative and quantitative
data driven
model checking
face verification
data mining
website
case study
hidden markov models
uncertain data