Login / Signup
A formal specification for a fuzzy expert system.
Chris Matthews
Published in:
Inf. Softw. Technol. (2003)
Keyphrases
</>
formal specification
model checking
specification languages
object oriented design
specification language
formal methods
process algebra
data abstraction
reverse engineering
model checker
concurrent systems
software components
databases
belief revision
formal specification language