Items by "Bahloul, Safia Nait"

[up] Up a level
Group by: Item Type | No Grouping
Number of items: 1.

Benabbou, Amel and Bahloul, Safia Nait and Philippe, Dhaussy (2016) Context-aware approach for formal verification. EAI Endorsed Transactions on Context-aware Systems and Applications.

This list was generated on Mon May 4 23:07:44 2026 UTC.