Publications

Export 6 results:
Filters: Auteur is Haqiq, A.  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
E
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.
T
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.
A. Haqiq et Bounabat, B., « Towards integration of fault tolerance in agent-based systems », in Procedia Computer Science, 2018, vol. 127, p. 264-273.
U
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.

Partenaires

Localisation

Suivez-nous sur

         

    

Contactez-nous

ENSIAS

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

  Télécopie : (+212) 5 37 68 60 78

  Secrétariat de direction : 06 61 48 10 97

        Secrétariat général : 06 61 34 09 27

        Service des affaires financières : 06 61 44 76 79

        Service des affaires estudiantines : 06 62 77 10 17 / n.mhirich@um5s.net.ma

        Résidences : 06 61 82 89 77

Contacts

    

Education - This is a contributing Drupal Theme
Design by WeebPal.