On System Specifications.

Hans-Rüdiger Wiehle

Published in: Advanced Course: Operating Systems (1978)

Keyphrases

delay insensitive
formal specification
specification language
data structure
probability distribution
finite state machines
concurrent systems
machine learning
video sequences
model checking
design requirements