|
|
Depot Institutionnel de l'UMBB >
Browsing by Author Lounas, Razika
Showing results 1 to 9 of 9
| Date de publication | Titre | Auteur(s) | | 2019 | Air quality monitoring using IoT : a survey | Mokrani, Hocine; Lounas, Razika; Bennai, Mohamed Tahar; Salhi, Dhai Eddine; Djerbi, Rachid |
| 2015 | An approach for formal verification of updated Java bytecode programs | Lounas, Razika; Mezghiche, Mohamed; Lanet, J.-L. |
| 2019 | Formal methods in dynamic software updating : a survey | Lounas, Razika; Mezghiche, Mohamed; Lanet, Jean Louis |
| 2017 | A formal verification of dynamic updating in a Java-based embedded system | Lounas, Razika; Mezghiche, Mohamed; Lanet, Jean-Louis |
| 2017 | A formal verification of safe update point detection in dynamic software updating | Lounas, Razika; Jafri, Nisrine; Legay, Axel; Mezghiche, Mohamed; Lanet, Jean-Louis |
| 2009 | Preuve en coq de propriétés de programmes numériques partant du code en C | Lounas, Razika |
| 2013 | Towards a general framework for formal reasoning about java bytecode transformation | Lounas, Razika; Mezghiche, Mohamed; Lanet, Jean-Louis |
| 2019 | Towards a Smart Data Transmission Strategy for IoT Monitoring Systems: Application to Air Quality Monitoring | Lounas, Razika; Salhi, Dhai Eddine; Mokrani, Hocine; Djerbi, Rachid |
| 2018 | Validation des spécifications formelles de la mise à jour dynamique des applications java card | Lounas, Razika |
Showing results 1 to 9 of 9
|
