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