Gouvernorat de Tunis And NotSorin Stratulat
List of bibliographic references
Number of relevant bibliographic references: 4.Ident. | Authors (with country if any) | Title |
---|---|---|
000026 | Zohra Sbaï [Tunisie] ; Kamel Barkaoui [France] | Vérification formelle des processus workflow: Extension aux workflows inter-organisationnels |
000135 | Mouhebeddine Berrima [Tunisie] ; Narjes Ben Rajeb [Tunisie] ; Véronique Cortier [France] | DECIDING KNOWLEDGE IN SECURITY PROTOCOLS UNDER SOME E-VOTING THEORIES |
000185 | I. Ben Cheikh [Tunisie] ; A. Kacem [Tunisie] ; Abdel Belaïd [France] | A Neural-Linguistic Approach for the Recognition of a Wide Arabic Word Lexicon |
000578 | Francis Alexandre [France] ; Khaled Bsaïes [Tunisie] ; Moussa Demba [Tunisie] | Predicate synthesis from inductive proof attempt of faulty conjectures |
![]() | This area was generated with Dilib version V0.6.33. | ![]() |