Formal Methods and Industrial-Strength Computer Networks.
Joy N. ReedPublished in: Requirements Targeting Software and Systems Engineering (1997)
Keyphrases
- computer networks
- formal methods
- industrial strength
- network security
- formal analysis
- intrusion detection system
- network traffic
- computer systems
- model checking
- network management
- knowledge based systems
- text mining
- formal specification
- communication networks
- artificial intelligence
- process algebra
- safety critical
- software engineering
- development lifecycle
- databases
- information retrieval
- software development
- natural language processing
- object oriented
- data analysis
- real world
- data sets
- packet switched
- computer network security