Publications

Export 5 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 
H
A. Haqiq et Bounabat, B., « Verification of multi decisional reactive agent using SMV model checker », in 2013 8th IEEE Design and Test Symposium, IDT 2013, 2013.
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.
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., « Using BECAMEDA method to specify and verify a smart home system », in ACM International Conference Proceeding Series, 2017, vol. Part F130526, p. 42-47.
A. Haqiq et Bounabat, B., « Towards integration of fault tolerance in agent-based systems », in Procedia Computer Science, 2018, vol. 127, p. 264-273.

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

    

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