Travelled to:
1 × USA
Collaborated with:
M.Riahi F.Moussa
Talks about:
generat (1) specif (1) formal (1) verif (1) mobil (1) xml (1) hci (1)
Person: Ines Riahi
DBLP: Riahi:Ines
Contributed to:
Wrote 1 papers:
- HCI-MIIE-2011-RiahiRM #generative #human-computer #mobile #specification #verification #xml
- XML in Formal Specification, Verification and Generation of Mobile HCI (IR, MR, FM), pp. 92–100.