FSTPA-I: a formal approach to hazard identification via system theoretic process analysis.

Philip Asare John C. Lach John A. Stankovic

Published in: ICCPS (2013)

Keyphrases

image analysis
automatic identification
databases
quantitative analysis
formal analysis
neural network
genetic algorithm
data analysis
microarray
risk assessment
formal specification