An Approach to Maintaining Safety Case Evidence After A System Change.

Omar Jaradat Patrick J. Graydon Iain Bate

Published in: CoRR (2014)

Keyphrases

digital libraries
real time
genetic algorithm
lower bound
artificial neural networks