Login / Signup
Partial Order Verification of Programmable Logic Controllers.
Peter Deussen
Published in:
ICATPN (2001)
Keyphrases
</>
partial order
programmable logic
partially ordered
total order
model checking
control system
reinforcement learning
lattice structure
field programmable gate array
set theory
real time
pattern recognition
constraint satisfaction problems
sequential patterns
maximum weight
totally ordered