Login / Signup
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