Specifying and Verifying PLC Systems with TLA+.

Hehua Zhang Stephan Merz Ming Gu

Published in: TASE (2009)

Keyphrases

computer systems
intelligent systems
management system
information systems
temporal logic
retrieval systems
learning systems
distributed systems
systems require
artificial intelligence
control system
data streams
multiscale
database systems
clustering algorithm
multimedia
image processing
decision making