Showing 1 - 16 results of 16 for search 'Desharnais, Jules', query time: 0.16s Refine Results
  1. 1
    Abstract relational semantics
    by Desharnais, Jules
    Published 1989
    Get full text
    Others
  2. 2
    Complétude pour les demi-anneaux et algèbres de Kleene étoile-continues avec domaine
    by Mbacke, Sokhna Diarra
    Published 2018
    Other Authors: “...Desharnais, Jules...”
    Get full text
    Dissertation
  3. 3
    Représentation et évaluation de structures argumentatives
    by Megzari, Idriss El
    Published 2015
    Other Authors: “...Desharnais, Jules...”
    Get full text
    Dissertation
  4. 4
    RTL-Check : a practical static analysis framework to verify memory safety and more
    by Lacroix, Patrice
    Published 2006
    Other Authors: “...Desharnais, Jules...”
    Get full text
    Dissertation
  5. 5
    Algèbres de Kleene pour l'analyse statique des programmes : un nouveau cadre
    Other Authors: “...Desharnais, Jules...”
    Get full text
    Get full text
    Doctoral Thesis
  6. 6
    Completeness for domain semirings and star-continuous Kleene algebras with domain
    by Mbacke, Sokhna Diarra
    Published 2018
    Other Authors: “...Desharnais, Jules...”
    Get full text
    Dissertation
  7. 7
    Controller synthesis for parameterized discrete event systems
    by Bherer, Hans
    Published 2009
    Other Authors: “...Desharnais, Jules...”
    Get full text
    Doctoral Thesis
  8. 8
    Vérification des systèmes à pile au moyen des algèbres de Kleene
    by Mathieu, Vincent
    Published 2006
    Other Authors: “...Desharnais, Jules...”
    Get full text
    Dissertation
  9. 9
    Oméga-Algèbre : théorie et application en vérification de programmes
    by Bolduc, Claude
    Published 2006
    Other Authors: “...Desharnais, Jules...”
    Get full text
    Dissertation
  10. 10
    Demonic Kleene Algebra
    by De Carufel, Jean-Lou
    Published 2009
    Other Authors: “...Desharnais, Jules...”
    Get full text
    Doctoral Thesis
  11. 11
    Oméga-Algèbre. Théorie et application en vérification de programmes
    by Bolduc, Claude
    Published 2006
    Other Authors: “...Desharnais, Jules...”
    Get full text
    Others
  12. 12
    Algèbres de Kleene pour l'analyse statique des programmes. Un nouveau cadre
    by Fernandes, Therrezinha
    Published 2008
    Other Authors: “...Desharnais, Jules...”
    Get full text
    Others
  13. 13
    Demonic Kleene Algebra
    by De Carufel, Jean-Lou
    Published 2009
    Other Authors: “...Desharnais, Jules...”
    Get full text
    Others
  14. 14
    Controller Synthesis for Parameterized Discrete Event Systems
    by Bherer, Hans
    Published 2009
    Other Authors: “...Desharnais, Jules...”
    Get full text
    Others
  15. 15
    RTL-Check: A practical static analysis framework to verify memory safety and more
    by Lacroix, Patrice
    Published 2006
    Other Authors: “...Desharnais, Jules...”
    Get full text
    Others
  16. 16
    Vérification des systèmes à pile au moyen des algèbres de Kleene
    by Mathieu, Vincent
    Published 2006
    Other Authors: “...Desharnais, Jules...”
    Get full text
    Others
Search Tools: Get RSS Feed — Email this Search