Semiautomatic Verification of Groundwater Measured Data.

Uwe Rüppel Peter Göbel

Published in: EnviroInfo (1) (2007)

Keyphrases

measured data
semi automatic
fully automatic
gold standard
water quality
domain ontology
model checking
operating conditions
artificial intelligence
face verification
ontology development
data sets
control system
case based reasoning
geographical information systems
formal verification