Najeh Khalfi

According to our database, Najeh Khalfi authored at least 2 papers between 2020 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2022

Modeling IoT Design Patterns Proven Correct by Construction.

Imen Tounsi, Najeh Khalfi, Abdessamad Saidi, Mohamed Hadj Kacem

Proceedings of the Participative Urban Health and Healthy Aging in the Age of AI, 2022

2020

Modeling and Specification of Bootstrapping and Registration Design Patterns for IoT Applications.

Mohamed Hadj Kacem, Imen Tounsi, Najeh Khalfi

Proceedings of the Impact of Digital Technologies on Public Health in Developed and Developing Countries, 2020