Login / Signup
A Geometric Rule Extraction Approach Used for Verification and Validation of a Safety Critical Application.
Marjorie Darrah
Brian J. Taylor
Michael Webb
Rhett Livingston
Published in:
FLAIRS Conference (2005)
Keyphrases
</>
rule extraction
safety critical
formal methods
neural network
rough sets
model checking
fault tolerant
safety analysis
decision support
fuzzy rules
embedded systems