PLCTOOLS: design, formal validation, and code generation for programmable controllers.

Luciano Baresi Marco Mauri Antonello Monti Mauro Pezzè

Published in: SMC (2000)

Keyphrases

code generation
design process
formal specification
reinforcement learning
modeling language
data mining
artificial intelligence
case study
relational databases
design principles
design tools
rapid prototyping