Application Of Formal Methods To Root Cause Analysis of Digital Incidents.

Peter Stephenson

Published in: Int. J. Digit. EVid. (2004)

Keyphrases

formal methods
root cause analysis
development lifecycle
database
data mining
knowledge representation
life cycle
process algebra