Résultats 1 à 8

Dates de soutenance :


Etablissements :

Valider et fermer
  • Chasseneuil-du-Poitou, Ecole nationale supérieure de mécanique et d'aérotechnique (2)
  • Evry-Val d'Essonne (1)
  • Grenoble 1 (1)
  • Nantes (1)
  • Toulouse 3 (1)
  • Université de Lorraine (1)
  • Université de Sfax (Tunisie). Faculté des Sciences économiques et de gestion (1)
  • Vandoeuvre-les-Nancy, INPL (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (6)
  • Informatique et application (1)
  • Informatique et applications (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (2)
  • Sciences et Technologies de l'Information, Mathématiques (Nantes) (1)
  • École doctorale Mathématiques, informatique et télécommunications (Toulouse) (1)
  • École doctorale Sciences et ingénierie pour l'information, mathématiques (Limoges ; 2009-2018) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (6)
  • anglais (1)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Aït-Ameur Yamine (2)
  • Aït-Sadoune Idir (1)
  • Ben Ahmed Samir (1)
  • Bert Didier (1)
  • Delahaye Benoit (1)
  • Dubois Catherine (1)
  • Gleizes Marie-Pierre (1)
  • Hadj Kacem Ahmed (1)
  • Jacquot Jean-Pierre (1)
  • Jaray Jacques (1)
  • Jard Claude (1)
  • Lanoix Arnaud (1)
  • Migeon Frédéric (1)
  • Souquières Jeanine (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (8)

    Domaines :

    Fullscreen

    8 thèses pour "B-événementiel"

    Introduction de raisonnement probabiliste dans la méthode B événementiel

    par Mohamed amine Aouadhi sous la direction de Claude Jard, Arnaud Lanoix et de Benoit Delahaye. - Nantes

    Informatique

    Soutenue le 29-09-2017
     thèse en cours de préparation

    ..., en particulier, B événementiel. Nous avons travaillé surl’utilisation de B événementiel pour étudier...

    Accéder en ligne

    ....3.2 Définition d’un modèle B événementiel . . . . . . . . . . . . . . . . . . . . 462.3.3 Raffinement...

    Accéder en ligne

    ....3. Application des techniques formellesB-événementiel ne permet pas la modélisation des propriétés relatives à la...

    Accéder en ligne

    ...conception.Les développements B Évènementiel modélisent les étapes de fission sémantique et d...

    Accéder en ligne

    Résultats 1 à 8