Methods and tools to the verification of safety-related control software

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

Volumn 4, Issue , 2000, Pages 2455-2457

  Mertke, Thomas ^a   Menzel, Thomas ^a  

^a BRANDENBURG UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE SELECTION AND EVALUATION; FORMAL LOGIC; PETRI NETS;

CONTROL SOFTWARES;

PROGRAMMABLE LOGIC CONTROLLERS;

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

References (9)