Formal Modeling and Analysis of an Avionics Triplex Sensor Voter.

Samar Dajani-Brown Darren D. Cofer Gary Hartmann Steve Pratt

Published in: SPIN (2003)

Keyphrases

statistical analysis
information retrieval
software engineering
real time
data mining
similarity measure
high resolution
probabilistic model
statistical modeling
formal analysis