Login / Signup
The Specification System OBSCURE.
Jacques Loeckx
Published in:
Bull. EATCS (1990)
Keyphrases
</>
high level
specification language
tool suite
computer vision
case study
three dimensional
ims learning design
real time
formal specification
medical images
provably correct
formal language
formal methods
collaborative learning
relational databases
similarity measure
genetic algorithm