From Safety Verification to Safety Testing.

Vlad Rusu Hervé Marchand Valéry Tschaen Thierry Jéron Bertrand Jeannet

Published in: TestCom (2004)

Keyphrases

safety analysis
coal mining
real time
data mining
artificial intelligence
similarity measure
training data
nuclear power plant