C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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