AHPSVER: A web-based system for hydrologic forecast verification.

Anton Kruger Shashank G. Khandelwal Allen Bradley

Published in: Comput. Geosci. (2007)

Keyphrases

model checking
short term
face verification
formal verification
real time
person identification
data mining
information systems
image sequences
temporal logic
formal methods
formal analysis
test generation
high security