Sound Development of Safety Supervisors.

Mario Gleirscher Lukas Plecher Jan Peleska

Published in: CoRR (2022)

Keyphrases

knowledge based systems
case study
safety critical
software engineering
database
data sets
databases
evolutionary algorithm
development process
development environment
support systems