A value-oriented specification for weak sequencing validation.

Thouraya Bouabana-Tebibel Stuart H. Rubin

Published in: IRI (2014)

Keyphrases

high level
specification language
database
data mining
machine learning
e learning
digital libraries
multiresolution
object oriented
user defined
formal specification
formal verification