Formal methods in PLC programming

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

Volumn 4, Issue , 2000, Pages 2431-2436

  Frey, Georg ^a   Litz, Lothar ^a  

^a University of Koblenz Landau   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

CONSTRAINT THEORY; CONTROL SYSTEM ANALYSIS; CONTROL SYSTEM SYNTHESIS; LOGIC PROGRAMMING; MATHEMATICAL MODELS;

FORMAL DESCRIPTION;

PROGRAMMABLE LOGIC CONTROLLERS;

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

References (51)