Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Nancy 1 (5)
  • Toulouse 3 (4)
  • Grenoble INPG (3)
  • Nantes (3)
  • Paris, CNAM (3)
  • Poitiers (3)
  • Chasseneuil-du-Poitou, Ecole nationale supérieure de mécanique et d'aérotechnique (2)
  • Lille 1 (2)
  • Orléans (2)
  • Paris 6 (2)
  • Valenciennes (2)
  • Aix-Marseille 2 (1)
  • Angers (1)
  • Besançon (1)
  • Bordeaux (1)
  • Bordeaux 1 (1)
  • Compiègne (1)
  • Dijon (1)
  • Ecole Nationale Supérieure des télécommunications (1)
  • Ecole centrale de Lille (1)
  • Evry, Institut national des télécommunications (1)
  • Evry-Val d'Essonne (1)
  • Grenoble 1 (1)
  • Grenoble Alpes (1)
  • Limoges (1)
  • Lyon (1)
  • Lyon 1 (1)
  • Montpellier (1)
  • Montpellier 2 (1)
  • Nancy 2 (1)
  • Nice (1)
  • Paris 13 (1)
  • Paris 5 (1)
  • Paris, ENST (1)
  • Rennes 1 (1)
  • Saint-Etienne (1)
  • Strasbourg 1 (1)
  • Toulouse, ISAE (1)
  • Troyes (1)
  • Université Joseph Fourier (Grenoble) (1)
  • Université Savoie Mont Blanc (1)
  • Université de Lorraine (1)
  • Université de Sfax. Faculté des sciences (1)
  • Université de Sherbrooke (Québec, Canada) (1)
  • Uniwersytet Jagielloński (Cracovie, Pologne) (1)
  • Versailles-St Quentin en Yvelines (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (23)
  • Chimie (4)
  • Sciences appliquées (3)
  • Informatique et applications (2)
  • Physique (2)
  • Analyse numérique (1)
  • Automatique et informatique (1)
  • Automatique industrielle et humaine (1)
  • Automatique, génie informatique, traitement du signal et images (1)
  • Chimie analytique (1)
  • Chimie et sciences des materiaux polymères (1)
  • Chimie organique, minérale et industrielle (1)
  • Electronique des Hautes Fréquences, Photonique et Systèmes (1)
  • Informatique et application (1)
  • Informatique et applications (1)
  • Informatique. Systèmes et communications (1)
  • Ingénierie biomoléculaire (1)
  • Littérature française (1)
  • Mathématiques (1)
  • Mathématiques appliquées (1)
  • Milieux denses, Matériaux et Composants (1)
  • Mécanique (1)
  • Océan, Atmosphère, Hydrologie (1)
  • Optimisation et Sûreté des Systèmes (1)
  • Philosophie des sciences informatiques (1)
  • Production automatisée (1)
  • Psychologie (1)
  • Sciences appliquées, physique (1)
  • Sciences appliquées. Informatique, automatique théorique, systèmes (1)
  • Sciences et génie des matériaux (1)
  • Sciences et techniques (1)
  • Sciences mécaniques pour l'ingénieur (1)
  • Structure et dynamique des systèmes réactifs (1)
  • Systèmes et logiciels (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale Informatique, télécommunications et électronique de Paris (2)
  • École doctorale Sciences et ingénierie pour l'information, mathématiques (Limoges ; 2009-2018) (2)
  • École doctorale des sciences pour l'ingénieur et aéronautique - SPI&A (Poitiers) (2)
  • Ecole doctorale Sciences pour l'Ingénieur (Troyes, Aube) (1)
  • IAEM - Ecole Doctorale Informatique, Automatique, Électronique - Électrotechnique, Mathématiques (1)
  • IAEM Lorraine (1)
  • SESAMES - Ecole Doctorale Lorraine de Chimie et Physique Moléculaires (1)
  • Sciences Chimiques Balard (1)
  • Sciences et Technologies de l'Information, Mathématiques (Nantes) (1)
  • École doctorale Mathématiques, Informatique, Physique Théorique et Ingénierie des Systèmes (Centre-Val de Loire) (1)
  • École doctorale Mathématiques, informatique et télécommunications (Toulouse) (1)
  • École doctorale Sciences Ingénierie Santé (Saint-Etienne) (1)
  • École doctorale Sciences et Ingénierie (Evry ; 2008-2015) (1)
  • École doctorale Sciences et Ingénierie des Matériaux, Mécanique, Energétique et Aéronautique (Poitiers ; 2009-2018) (1)
  • École doctorale Sciences mathématiques de Paris centre (Paris) (1)
  • École doctorale Sciences pour l'Ingénieur (Lille) (1)
  • École doctorale Sociétés, politique, santé publique (Bordeaux) (1)
  • École doctorale de Physique et Astrophysique de Lyon (1)
  • École doctorale de mathématiques et informatique (Talence, Gironde) (1)
  • École doctorale terre, univers, environnement (Grenoble) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (58)
  • anglais (5)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Aït-Ameur Yamine (4)
  • Bert Didier (2)
  • Bodeveix Jean-Paul (2)
  • Cansell Dominique (2)
  • Delahaye David (2)
  • Dubois Catherine (2)
  • Filali Mamoun (2)
  • Girard Patrick (2)
  • Méry Dominique (2)
  • Teodosiu Cristian Victor (2)
  • Abid Majdi (1)
  • Accart Hardin Thérèse (1)
  • Ahues Blanchait Mario (1)
  • Allouche Abdul-Rahman (1)
  • Anantharaman Siva (1)
  • André Pascal (1)
  • Attiogbé Christian (1)
  • Aubert-Frécon Monique (1)
  • Ausbourg Bruno d' (1)
  • Barros Anne (1)
  • Bellatreche Ladjel (1)
  • Ben Meriem Tayeb (1)
  • Berkani Karim (1)
  • Bertot Yves (1)
  • Bon Philippe (1)
  • Bouazaoui Mohamed (1)
  • Braud Isabelle (1)
  • Brunel Daniel (1)
  • CASTELLA VENTURA MARTINE (1)
  • Cafieri Sonia (1)
  • Caspi Paul (1)
  • Collart-Dutilleul Simon (1)
  • Communal Pierre-Yves (1)
  • Comte Fabienne (1)
  • David Marie-Laure (1)
  • Delahaye Benoit (1)
  • Devienne Philippe (1)
  • Donzeau-Gouge Viguié Véronique (1)
  • Foulin Jean-Noël (1)
  • Frappier Marc (1)
  • Fréville Arnaud (1)
  • Grall Antoine (1)
  • Gros Philippe (1)
  • Ibrahimbegovic Adnan (1)
  • Jard Claude (1)
  • Julliand Jacques (1)
  • Khouri Selma (1)
  • Lanoix Arnaud (1)
  • Le Bihan Raymond (1)
  • Ledru Yves (1)
  • Levy Nicole (1)
  • Limet Sébastien (1)
  • Mammar Amel (1)
  • Mignard Nathalie (1)
  • Millot Patrick (1)
  • Morel Gérard (1)
  • Mosbah Mohamed (1)
  • Muntean Traian (1)
  • Mutin Hubert (1)
  • Métivier Guy (1)
  • Oquendo Flavio (1)
  • Pizzagalli Laurent (1)
  • Poillerat Gérard (1)
  • Poizat Olivier (1)
  • Potet Marie-Laure (1)
  • Presmanes Lionel (1)
  • Pruner Francis (1)
  • Ratier Bernard (1)
  • Robert Sophie (1)
  • Sbihi Mohammed (1)
  • Souquières Jeanine (1)
  • Stochel Grazyna (1)
  • Tailhades Philippe (1)
  • Tison Sophie (1)
  • Troadec Bertrand (1)
  • Turrell Sylvia (1)
  • VIGNES SYLVIE (1)
  • Winum Jean-Yves (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (31)
  • Sciences de l'ingénieur (10)
  • Chimie, minéralogie, cristallographie (9)
  • Physique (5)
  • Sciences de la nature et mathématiques (2)
  • Mathématiques (2)
  • Technologie (Sciences appliquées) (2)
  • Philosophie, psychologie (1)
  • Psychologie (1)
  • Commerce, communications, transports (1)
  • Sciences de la terre (1)
  • Gestion et organisation de l'entreprise (1)
  • Fabrication industrielle (1)
  • Littérature de langues romanes. Littérature française (1)

Domaines :

Fullscreen

63 thèses pour "Méthode B"

..., appelée obligations de preuve, et exprimées dans unethéorie des ensembles spécifique à la méthode B...

Accéder en ligne

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

Strategie d'integration de la methode b dans la contruction du logiciel critique

par SOUAD TAOUIL TRAVERSON sous la direction de SYLVIE VIGNES - Paris, ENST

Sciences appliquées

Soutenue en 1997
thèse soutenue

...construction d'un programme une preuve que cette construction estcorrecte.La méthode B accompagne le concepteur...

Accéder en ligne
Informatique

Soutenue le 10-12-2009
thèse soutenue

...horloges des secondes comme la date future où l évènement va se déclencher.3.2. LA MÉTHODE B ET LE TEMPS...

Accéder en ligne

Résultats 1 à 10