
Hichem Belgacem
![]() |
|
||||
Fakultät oder Zentrum | Interdisciplinary Centre for Security, Reliability and Trust | ||||
Department | SVV | ||||
Postadresse |
Université du Luxembourg 29, avenue JF Kennedy L-1855 Luxembourg |
||||
Büroadresse | JFK Building, E01-118 | ||||
![]() |
|||||
Telefon | (+352) 46 66 44 5514 | ||||
Hichem Begacem received his master degree from the Faculty of sciences of Monastir (Tunisia), in 2018. His research interests are in Software verification and validation, Formal Methods and Model Checking. Hichem joined the Software Verification and Validation group, SVV, headed by Prof. Lionel Briand and he will be advised by the latter.
Last updated on: Mittwoch, den 17. April 2019
powered by

2023

; ; ;
in ACM Transactions on Software Engineering and Methodology (2023), 32(2), 471-4740
URL: https://wwwde.uni.lu/snt/people/hichem_belgacem | Datum: Donnerstag, den 01. Juni 2023, 14:46 |