The Role of Education and Trainig in the Industrial Application of Formal Methods.
Ted RalstonSusan L. GerhartDan CraigenPublished in: AMAST (1995)
Keyphrases
- formal methods
- industrial applications
- product configuration
- model checking
- formal specification
- model checker
- knowledge based systems
- formal analysis
- reactive systems
- artificial intelligence
- safety critical
- software engineering
- process algebra
- provably correct
- information and communication technologies
- higher education
- development lifecycle
- e learning
- decision support system