Travelled to:
1 × Spain
Collaborated with:
F.Ghozzi H.Ben-Abdallah
Talks about:
hierarchi (1) dimension (1) concept (1) specif (1) formal (1) verif (1) multi (1) model (1)
Person: Ali Salem
DBLP: Salem:Ali
Contributed to:
Wrote 1 papers:
- ICEIS-DISI-2008-SalemGB #concept #modelling #multi #specification #verification
- Multi-Dimensional Modeling — Formal Specification and Verification of the Hierarchy Concept (AS, FG, HBA), pp. 317–322.