Résultats 1 à 4

Dates de soutenance :


Etablissements :

Valider et fermer
  • Grenoble (1)
  • Lyon (1)
  • Nancy 1 (1)
  • Toulouse 2 (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (3)
  • Mathématiques (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (1)
  • École doctorale Mathématiques, informatique et télécommunications (Toulouse) (1)
  • École doctorale en Informatique et Mathématiques de Lyon (1)
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (1)

Ecoles Doctorales :

Fullscreen

Langues :

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

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Ferreira Da Silva Catarina (1)
  • Lemarié Julie (1)
  • Mojahid Mustapha (1)
  • Méry Dominique (1)
  • Raffalli Christophe (1)
  • Ranta Aarne (1)
  • Shariat Ghodous Parisa (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (2)
  • Informatique, information, généralités (1)
  • Mathématiques (1)

Domaines :

Fullscreen

...ou encore d’unschéma. Dans le travail de formalisation automatique d’exigences réglementaires quiest...

Accéder en ligne

...1995]. 7. Vers une formalisation automatique de la MFM par apprentissage automatique 123 (tableau...

Accéder en ligne

...critique avec la charte deraffinement et la formalisation automatique du système critique.Au chapitre 7...

Accéder en ligne

Résultats 1 à 4