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 Tue May 5 04:27:27 2026 UTC.