Introduction to special issue on verification and evaluation of computer systems.
Kamel BarkaouiHanifa BouchenebPublished in: Innov. Syst. Softw. Eng. (2018)
Keyphrases
- special issue
- computer systems
- operating system
- computer security
- international journal
- computing systems
- applied intelligence
- ai edam
- data processing
- information processing systems
- human beings
- communication systems
- ecml pkdd
- information systems
- computer technology
- computer networks
- computer architecture
- high end
- data sets
- intrusion detection system
- model checking
- special section
- software developers
- data mining
- databases
- database