Ben Hedia, Belgacem.
Overview
| Works: | 1 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Verification and evaluation of computer and communication systems = 14th International Conference, VECoS 2020, Xi'an, China, October 26-27, 2020 : proceedings /
by:
VECoS (Conference) (2020 :); Ben Hedia, Belgacem.; SpringerLink (Online service)
(Electronic resources)
Verification and evaluation of computer and communication systems = 16th International Conference, VECoS 2023, Marrakech, Morocco, October 18-20, 2023 : proceedings /
by:
VECoS (Conference) (2023 :); Ben Hedia, Belgacem.; Maleh, Yassine.; Krichen, Moez.; SpringerLink (Online service)
(Electronic resources)
Subjects
Software Engineering.
Mathematical Logic and Formal Languages.
Mathematics of Computing.
Algorithm Analysis and Problem Complexity.
Data Structures.
Computer networks- Evaluation
Computer Engineering and Networks.
Artificial Intelligence.
Computer software- Verification
Computer Systems Organization and Communication Networks.
Computer Communication Networks.