Login / Signup
An Empirical Study of the LSS Specification Toolkit in Use.
David Stuart Robertson
Published in:
SEKE (1996)
Keyphrases
</>
high level
database
specification language
selective sampling
reactive systems
real time
image processing
video sequences
search algorithm
relational databases
formal specification
asynchronous circuits
provably correct