wordlist.pws

personal_ws-1.1 en 0
Prosa
Coq
typeclass
iff
schedulability
schedulable
computable
boolean
disjunction
invariant
invariants
instantiation
instantiations
uniprocessor
uniprocessors
jitter
monotonicity
antisymmetric
optimality
namespace
nonpreemptive
preemptive
preemptable
preemptions
EDF
FP
DM
POSIX
JLFP
JLDP
TDMA
aRTA
RTA
IBF
RBF
RBFs
Layland
Liu
sequentiality
equalities
extremum
supremum