Login / Signup
A Tool for the Certification of PLCs based on a Coq Semantics for Sequential Function Charts
Jan Olaf Blech
Published in:
CoRR (2011)
Keyphrases
</>
semantic information
software tools
formal semantics
neural network
data mining
sound and complete axiomatization
databases
online learning
logic programming
database design
theorem prover
piecewise linear
default reasoning
graphical representation
statistical process control