Declarative specification of system independent logic controller programs

IEEE International Symposium on Industrial Electronics

Volumn 1, Issue , 1996, Pages 305-310

  Adamski, Marian A ^a   Monteiro, Joao L ^a  

^a UNIVERSITY OF MINHO   (Portugal)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER SOFTWARE; DISCRETE TIME CONTROL SYSTEMS; KNOWLEDGE BASED SYSTEMS; LOGIC PROGRAMMING; PETRI NETS; PROGRAMMABLE LOGIC CONTROLLERS;

DISCRETE EVENT DYNAMIC SYSTEMS; HUMAN READABLE LOGIC LANGUAGE; LOGIC CONTROLLER PROGRAMS; MATHEMATICAL LOGIC; SYMBOLIC DEDUCTION;

COMPUTER HARDWARE DESCRIPTION LANGUAGES;

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

References (25)