Travelled to:
1 × Denmark
Collaborated with:
A.H.Kacem K.Drira
Talks about:
approach (1) consist (1) system (1) formal (1) enforc (1) adapt (1) self (1)
Person: Najla Hadj Kacem
DBLP: Kacem:Najla_Hadj
Contributed to:
Wrote 1 papers:
- ECSA-2010-KacemKD #adaptation #approach #consistency #formal method #self
- A Formal Approach to Enforcing Consistency in Self-adaptive Systems (NHK, AHK, KD), pp. 279–294.