Formal Methods for Component-Based Systems.

Rosziati Ibrahim

Published in: ECOOP Workshops (1998)

Keyphrases

formal methods
safety critical
software engineering
formal specification
artificial intelligence
knowledge based systems
model checking
formal analysis
provably correct
model checker
database
information systems
expert systems
software systems
modeling language