Login / Signup
Specification of schedulers with algebraic specification techniques.
Kouichi Wada
Kenichi Hagihara
Toshiro Araki
Nobuki Tokura
Published in:
Operating Systems Engineering (1980)
Keyphrases
</>
specification language
three dimensional
feature selection
digital libraries
higher order
user defined
formal specification
provably correct