PLCTOOLS: Design, formal validation, and code generation for programmable controllers

Proceedings of the IEEE International Conference on Systems, Man and Cybernetics

Volumn 4, Issue , 2000, Pages 2437-2442

  Baresi, Luciano ^a   Mauri, Marco ^a   Monti, Antonello ^a   Pezze, Mauro ^a  

^a POLITECNICO DI MILANO   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LANGUAGES; MATHEMATICAL MODELS; PETRI NETS;

SOFTWARE CONTROLLERS;

PROGRAMMABLE LOGIC CONTROLLERS;

EID: 0034512598     PISSN: 08843627     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (9)