Login / Signup
Effective Industrial Application of Formal Methods.
Bernard Sufrin
Published in:
IFIP Congress (1989)
Keyphrases
</>
formal methods
industrial applications
product configuration
formal specification
formal analysis
model checking
artificial intelligence
knowledge based systems
software engineering
modeling language
model checker