dc:subject
|
upper bound on the number of state variables, Asynchronous networks, Berger codes, fault detection, fault-secure networks, self-checking checker, self-checking networks, single-transition-time assignments, unate next-state functions, unidirectional faults, universal assignments
(xsd:string)
|