On the Safe IOCOS relation for Testing Safety PLC Code.

Adnan Khan Martin Fabian

Published in: ETFA (2019)

Keyphrases

control system
concurrent programs
source code
unit testing
learning algorithm
software engineering
software testing
code generation
java programs
database
data sets
genetic algorithm
high level
data transmission
safety critical
program code