C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Symbolic Techniques for Formally Verifying Industrial Systems.
Sérgio Vale Aguiar Campos
Edmund M. Clarke
Marius Minea
Published in:
Sci. Comput. Program. (1997)
Keyphrases
</>
industrial systems
industrial applications
complex systems
fault diagnosis
computational intelligence
intelligent systems
symbolic representation
model checking
neural network
symbolic data
neural learning
computer science
fuzzy logic
case study
decision making
high level
binary decision diagrams