Application of formal methods in Nokia mobile terminal and network software system development.
Jianli XuPublished in: ISoLA (Preliminary proceedings) (2004)
Keyphrases
- formal methods
- development lifecycle
- safety critical
- software development
- knowledge based systems
- software engineering
- access network
- protocol specification
- model checking
- mobile terminals
- formal specification
- computer networks
- software architecture
- communication networks
- wireless communication
- development process
- data mining
- software systems
- expert systems
- high level
- artificial intelligence