Login / Signup
Najeh Khalfi
Publication Activity (10 Years)
Years Active: 2020-2022
Publications (10 Years): 2
Top Topics
Metamodel
Software Systems
Database Driven
Object Oriented Software
Top Venues
ICOST
</>
Publications
</>
Imen Tounsi
,
Najeh Khalfi
,
Abdessamad Saidi
,
Mohamed Hadj Kacem
Modeling IoT Design Patterns Proven Correct by Construction.
ICOST
(2022)
Mohamed Hadj Kacem
,
Imen Tounsi
,
Najeh Khalfi
Modeling and Specification of Bootstrapping and Registration Design Patterns for IoT Applications.
ICOST
(2020)