IDENTIFICATION DE FONCTIONS SUJETTES À DES ERREURS LOGIQUES DANS DES COMPOSANTS LOGICIELS BINAIRES

• 1. SYSTÈME ET PROCÉDÉ DE DÉTECTION D'ERREURS ET D'ANALYSE DES CAUSES DES ERREURS DANS UN RÉSEAU DE COMPOSANTS RÉSEAUX [P] . 欧洲知识产权局专利： EP3651413A1 . 2020.05.13
• 2. GÉNÉRATION DE MANIFESTES DE SÉCURITÉ POUR DES COMPOSANTS LOGICIELS À L'AIDE D'UNE ANALYSE STATIQUE BINAIRE [P] . 欧洲知识产权局专利： EP3655875A1 . 2020.05.27
• 3. SYSTÈME DE TEST DE VALVE À THYRISTOR BASÉ SUR LA COOPÉRATION DE FONCTIONS LOGIQUES D'UN LOGICIEL [P] . 欧洲知识产权局专利： EP3588112A4 . 2020.04.29

• 1. Le logiciel detecte les erreurs dans le modele [J] . Marie-Line Zani Mesures . 2006,第785期
• 2. Vers la négociation de contrats dans les composants logiciels hiérarchiques [J] . Hervé Chang, Philippe Collet RSTI . 2005,第1a2期
• 3. La fonction des identifications “comme si” dans un cas de psychose masquée↓A fun??o das identifica??es “como se” em um caso de psicose mascarada↓La función de las identificaciones “como si” en un caso de psicosis enmascarada↓Die Funktion der ?als ob“ Identifikationen in einem Fall maskierter Psychose↓在一个掩蔽精神病的情况，“好象”的识别作用 [J] . Lippi Silvia Revista Latinoamericana de Psicopatologia Fundamental . 2015,第3期
• 4. Non linearite des fonctions booleennesdonnees par des traces de polynomesde degre binaire 3 [C] . Eric Ferard, Francois Rodier Symposium on Algebraic Geometry and its Applications . 2008
• 5. Elaboration d'un logiciel d'enseignement et d'application de la logique floue dans un contexte d'automate programmable. [D] . Theoret, Claude. 2009
• 6. Estimation des composants de la variance phénotypique dans une population consanguine. II. – Application [O] . C Chevalet 1976
• 7. Un environnement de spécification et de découverte pour la réutilisation des composants logiciels dans le développement des logiciels distribués [O] . Khemakhem Sofien 2011
• 8. ANALYSE BINAIRE 1ère partie DEFINITIONS ET TRAITEMENTS DES FONCTIONS BINAIRES [R] . René- Louis VALLEE 1968