Rekhis, Slim books & textbook
Approche formelle pour la vérification des IDS: Approche formelle pour la vérification des Systèmes de Détection d'Intrusions: Utilisation de TLA+ (Omn.Univ.Europ.) (French Edition)
Editions universitaires europeennes /2010-11-12 Paperback / 148 Pages
isbn-10: 6131547890 / isbn-13: 9786131547898
Ubiquitous Networking: 4th International Symposium, UNet 2018, Hammamet, Tunisia, May 2 – 5, 2018, Revised Selected Papers (Computer Communication Networks and Telecommunications)
Boudriga, Noureddine Alouini, Mohamed-Slim Rekhis, Slim Sabir, Essaid Pollin, Sofie
Springer /2018-11-03 Paperback / 430 Pages
isbn-10: 3030028488 / isbn-13: 9783030028480