Items by "Philippe, Dhaussy"

[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 Aug 24 18:10:45 2026 UTC.