Foreword of the Thematic Track: ICT Verification and Validation.
Eda MarchettiPublished in: QUATIC (2014)
Keyphrases
- information and communication technologies
- special issue
- formal verification
- st century
- model checking
- verification method
- model validation
- concurrent systems
- face verification
- knowledge management
- information and communications technology
- computer vision
- database
- information communication technology
- false acceptance rate
- academic community
- person identification
- socio economic
- signature verification
- south africa
- formal methods
- developing countries
- temporal logic
- learning environment
- case study
- web services
- neural network