Formal Methods Elsewhere - A Satellite Workshop of FORTE-PSTV-2000 devoted to applications of formal methods to areas other than communication protocols and software engineering.
Howard BowmanPublished in: Electron. Notes Theor. Comput. Sci. (2001)
Keyphrases
- formal methods
- communication protocols
- software engineering
- protocol specification
- process algebra
- formal analysis
- model checking
- formal specification
- knowledge based systems
- artificial intelligence
- safety critical
- software systems
- development process
- reverse engineering
- communication networks
- databases
- knowledge management
- multi agent systems
- information systems
- data mining