Showing 1 - 20 results of 26 for search 'Ktari, Béchir', query time: 1.60s Refine Results
  1. 1
    Modélisaton et sécurité des réseaux
    by Cormier, Alexandre
    Published 2007
    Other Authors: “...Ktari, Béchir...”
    Get full text
    Dissertation
  2. 2
    Conversion de programmes de l'impératif au déclaratif
    by Godbout, Daniel, Godbout, Daniel
    Published 2007
    Other Authors: “...Ktari, Béchir...”
    Get full text
    Get full text
    Dissertation
  3. 3
    Langage déclaratif pour la détection d'intrusions
    by Niang, Papa Maleye
    Published 2014
    Other Authors: “...Ktari, Béchir...”
    Get full text
    Dissertation
  4. 4
    Résolution d'équations en algèbre de Kleene : applications à l'analyse de programmes
    by Lajeunesse-Robert, François
    Published 2009
    Other Authors: “...Ktari, Béchir...”
    Get full text
    Dissertation
  5. 5
    Interprocedural program analysis using visibly pushdown Kleene algebra
    by Bolduc, Claude
    Published 2011
    Other Authors: “...Ktari, Béchir...”
    Get full text
    Doctoral Thesis
  6. 6
    Migration d'interfaces utilisateurs textuelles de systèmes patrimoniaux vers le Web
    by Loghmani, Shadi
    Published 2013
    Other Authors: “...Ktari, Béchir...”
    Get full text
    Dissertation
  7. 7
    Modélisation de programmes C en expressions régulières
    by Mahbouli, Hatem
    Published 2011
    Other Authors: “...Ktari, Béchir...”
    Get full text
    Dissertation
  8. 8
    Abstraction et vérification de programmes informatiques
    by Chorfi, Redha
    Published 2008
    Other Authors: “...Ktari, Béchir...”
    Get full text
    Dissertation
  9. 9
    Détection d'intrusions et analyse passive de réseaux
    by Couture, Mathieu
    Published 2005
    Other Authors: “...Ktari, Béchir...”
    Get full text
    Dissertation
  10. 10
    Automated fault identification : kernel trace analysis
    by Waly, Hashem
    Published 2011
    Other Authors: “...Ktari, Béchir...”
    Get full text
    Dissertation
  11. 11
    Programmation distribuée et migration de processus
    by Lavoie, Gabriel, Lavoie, Gabriel
    Published 2011
    Other Authors: “...Ktari, Béchir...”
    Get full text
    Get full text
    Dissertation
  12. 12
    Approche logique pour l'analyse de traces d'exécutions
    by Zribi, Rimeh
    Published 2013
    Other Authors: “...Ktari, Béchir...”
    Get full text
    Dissertation
  13. 13
    Code incorporant un modèle certifié
    by Verbyst, Delphine
    Published 2005
    Other Authors: “...Ktari, Béchir...”
    Get full text
    Dissertation
  14. 14
    Langage déclaratif pour la détection d'intrusions
    by Niang, Papa Maleye
    Published 2014
    Other Authors: “...Ktari, Béchir...”
    Get full text
    Others
  15. 15
    Code incorporant un modèle certifié
    by Verbyst, Delphine
    Published 2005
    Other Authors: “...Ktari, Béchir...”
    Get full text
    Others
  16. 16
    Modélisation de programmes C en expressions régulières
    by Mahbouli, Hatem
    Published 2011
    Other Authors: “...Ktari, Béchir...”
    Get full text
    Others
  17. 17
    Interprocedural program analysis using visibly pushdown Kleene algebra
    by Bolduc, Claude
    Published 2011
    Other Authors: “...Ktari, Béchir...”
    Get full text
    Others
  18. 18
    Automated Fault Identification - Kernel Trace Analysis
    by Waly, Hashem
    Published 2011
    Other Authors: “...Ktari, Béchir...”
    Get full text
    Others
  19. 19
    Programmation distribuée et migration de processus
    by Lavoie, Gabriel
    Published 2011
    Other Authors: “...Ktari, Béchir...”
    Get full text
    Others
  20. 20
    Modélisaton et sécurité des réseaux
    by Cormier, Alexandre
    Published 2007
    Other Authors: “...Ktari, Béchir...”
    Get full text
    Others
Search Tools: Get RSS Feed — Email this Search