Publications

Export 5 results:
Filters: Auteur is Haqiq, A.  [Clear All Filters]
2017
A. Haqiq et Bounabat, B., « Using BECAMEDA method to specify and verify a smart home system », in ACM International Conference Proceeding Series, 2017, vol. Part F130526, p. 42-47.
2016
A. Haqiq et Bounabat, B., « An extended approach for the behavioral and temporal constraints specification of reactive agent », in International Conference on Intelligent Systems Design and Applications, ISDA, 2016, vol. 2016-June, p. 329-334.
2015
A. Haqiq et Bounabat, B., « Towards an approach for behavioral specification of reactive multi-agent system », in 2015 5th International Conference on Information and Communication Technology and Accessibility, ICTA 2015, 2015.

Partenaires

Localisation


Location map

Suivez-nous sur

  

Contactez-nous

ENSIAS

Avenue Mohammed Ben Abdallah Regragui, Madinat Al Irfane, BP 713, Agdal Rabat, Maroc

Résultat de recherche d'images pour "icone fax" Télécopie : (+212) 5 37 77 72 30

    Compteur de visiteurs:303,627
    Education - This is a contributing Drupal Theme
    Design by WeebPal.