Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Toulouse 3 (7)
  • Grenoble Alpes (5)
  • Bordeaux 1 (4)
  • Paris, CNAM (4)
  • Rennes 1 (4)
  • Toulouse, ISAE (4)
  • Besançon (3)
  • Clermont-Ferrand 2 (3)
  • Ecole centrale de Lille (3)
  • Nancy 1 (3)
  • Paris 6 (3)
  • Université de Lorraine (3)
  • Valenciennes (3)
  • Chasseneuil-du-Poitou, Ecole nationale supérieure de mécanique et d'aérotechnique (2)
  • Grenoble (2)
  • Lille 1 (2)
  • Nantes (2)
  • Nice (2)
  • Paris 13 (2)
  • Paris 7 (2)
  • Paris Saclay (2)
  • Toulouse, INPT (2)
  • Aix-Marseille (1)
  • Aix-Marseille 1 (1)
  • Aix-Marseille 3 (1)
  • Cachan, Ecole normale supérieure (1)
  • Evry, Institut national des télécommunications (1)
  • LGIPM - Laboratoire de Génie Industriel et Production de Metz - EA3096 (1)
  • Lorient (1)
  • Lyon, INSA (1)
  • Metz (1)
  • Orléans (1)
  • Palaiseau, Ecole polytechnique (1)
  • Paris 11 (1)
  • Paris 9 (1)
  • Paris Est (1)
  • Poitiers (1)
  • Rouen (1)
  • Sorbonne Paris Cité (1)
  • Toulouse, INSA (1)
  • Universidade de São Paulo (Brésil) (1)
  • Université Joseph Fourier (Grenoble) (1)
  • Université Savoie Mont Blanc (1)
  • Université de Sfax (Tunisie). Faculté des Sciences économiques et de gestion (1)
  • Université de Sherbrooke (1)
  • Université de Sherbrooke (Québec, Canada) (1)
  • Université des sciences, des techniques et des technologies de Bamako (Mali) (1)
  • Université normale de la Chine de l'Est (Shanghai) (1)
  • Vandoeuvre-les-Nancy, INPL (1)
  • Versailles-St Quentin en Yvelines (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (44)
  • Sciences appliquées (8)
  • Sciences et techniques (4)
  • Automatique et informatique (2)
  • Automatique, génie informatique, traitement du signal et images (2)
  • Systèmes embarqués (2)
  • Sûreté de logiciel et calcul de haute performance (2)
  • Automatique (1)
  • Automatique industrielle et humaine (1)
  • Automatique, Génie informatique, Traitement du Signal et des Images (1)
  • Electronique, électrotechnique, automatique (1)
  • Génie informatique et automatique (1)
  • Inforamtique (1)
  • Informatique et Télécommunications (1)
  • Informatique et application (1)
  • Informatique et applications (1)
  • Informatique et applications (1)
  • Informatique et télécommunications (1)
  • Informatique industrielle et productique (1)
  • Informatique. Modélisation et vérification (1)
  • Littérature comparée (1)
  • Mathématiques (1)
  • Mathématiques. Analyse appliquée (1)
  • Monde arabe et africain (1)
  • Production automatisée (1)
  • Productique, automatique et informatique industrielle (1)
  • Programmation et systèmes (1)
  • Sciences (1)
  • Sciences de l'ingénieur. Automatique (1)
  • Stic (1)
  • Systèmes industriels (1)
  • Systèmes informatiques (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (6)
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (3)
  • École doctorale Mathématiques, informatique et télécommunications (Toulouse) (3)
  • École doctorale Sciences pour l'Ingénieur (Lille) (3)
  • École doctorale Informatique, télécommunications et électronique de Paris (2)
  • École doctorale Systèmes (Toulouse) (2)
  • École doctorale de mathématiques et informatique (Talence, Gironde) (2)
  • EDMITT - Ecole Doctorale Mathématiques, Informatique et Télécommunications de Toulouse (1)
  • Ecole Doctorale Mathématiques et Informatique de Marseille (Marseille) (1)
  • MSTIC : Mathématiques et Sciences et Technologies de l'Information et de la Communication (1)
  • Mathématiques, Sciences et technologies de l'information, Informatique (1)
  • École doctorale INTERFACES : approches interdisciplinaires / fondements, applications et innovation (Palaiseau, Essonne ; 2015-....) (1)
  • École doctorale Mathématiques, Informatique, Physique Théorique et Ingénierie des Systèmes (Centre-Val de Loire) (1)
  • École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (1)
  • École doctorale Santé, information-communication et mathématiques, matière (Brest, Finistère) (1)
  • École doctorale Sciences et Ingénierie (Evry ; 2008-2015) (1)
  • École doctorale Sciences et ingénierie pour l'information, mathématiques (Limoges ; 2009-2018) (1)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (1)
  • École doctorale Sciences mathématiques de Paris centre (Paris) (1)
  • École doctorale Sciences pratiques (1998-2015 ; Cachan, Val-de-Marne) (1)
  • École doctorale des sciences pour l'ingénieur (Clermont-Ferrand) (1)
  • École doctorale des sciences pour l'ingénieur et aéronautique - SPI&A (Poitiers) (1)
  • École doctorale en Informatique et Mathématiques de Lyon (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (68)
  • anglais (18)
  • null (1)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Aït-Ameur Yamine (4)
  • Le Métayer Daniel (4)
  • Bon Philippe (3)
  • Collart-Dutilleul Simon (3)
  • Courtiat Jean-Pierre (2)
  • Delahaye David (2)
  • Donzeau-Gouge Viguié Véronique (2)
  • Frappier Marc (2)
  • Frydman Claudia (2)
  • Fréville Arnaud (2)
  • Griffault Alain (2)
  • Khalil Wisama (2)
  • Méry Dominique (2)
  • Oquendo Flavio (2)
  • Rauzy Antoine (2)
  • Sahraoui Abd-El-Kader (2)
  • Schneider Michel (2)
  • Albert Vincent (1)
  • Alla Hassane Lotfi (1)
  • Arnold André (1)
  • Audebert Claude-France (1)
  • Ausbourg Bruno d' (1)
  • Aït-Sadoune Idir (1)
  • Bardos Claude (1)
  • Bellegarde Françoise (1)
  • Bensana Éric (1)
  • Berkani Karim (1)
  • Bert Didier (1)
  • Berthomieu Bernard (1)
  • Berthomé Pascal (1)
  • Bodeveix Jean-Paul (1)
  • Bolignano Dominique (1)
  • Bouajjani Ahmed (1)
  • Brunel Julien (1)
  • Cansell Dominique (1)
  • Castelluccia Claude (1)
  • Cavalli Ana (1)
  • Chemouil David (1)
  • Choppy Christine (1)
  • Cousot Patrick (1)
  • Dal Zilio Silvano (1)
  • Devienne Philippe (1)
  • Diallo Ouaténi (1)
  • Dieng Rose (1)
  • Dubois Catherine (1)
  • Dumur Didier (1)
  • Durieux Jean-Louis (1)
  • Falcone Yliès Carlo (1)
  • Fernandez Jean-Claude (1)
  • Filali Mamoun (1)
  • Fradet Pascal (1)
  • Garoche Pierre-Loïc (1)
  • Gaudan Stéphanie (1)
  • Genet Thomas (1)
  • Gentina Jean-Claude (1)
  • Giorgetti Alain (1)
  • Girard Patrick (1)
  • Gleizes Marie-Pierre (1)
  • Greiner Alain (1)
  • Hadj Kacem Ahmed (1)
  • Hamri Amine (1)
  • Henrion Didier (1)
  • Jacquot Jean-Pierre (1)
  • Jaray Jacques (1)
  • Julliand Jacques (1)
  • Kaafar Mohamed Ali (1)
  • Kayser Daniel (1)
  • Kloul Leïla (1)
  • Kordon Fabrice (1)
  • Laleau Régine (1)
  • Ledru Yves (1)
  • Levy Nicole (1)
  • Lorho Bernard (1)
  • Loulergue Frédéric (1)
  • MAHJOUB AHMED (1)
  • Mammar Amel (1)
  • Mehaut Jean-Francois (1)
  • Migeon Frédéric (1)
  • Millot Patrick (1)
  • Monin Jean-François (1)
  • Monsuez Bruno (1)
  • Morel Gérard (1)
  • Mortier Daniel (1)
  • Muscholl Anca (1)
  • Nakagawa Elisa Yumi (1)
  • Normand-Cyrot Dorothée (1)
  • Poirriez Vincent (1)
  • Pu Geguang (1)
  • Quinton Sophie (1)
  • Rezg Nidhal (1)
  • Roussel Jean-Marc (1)
  • Rutten Eric (1)
  • Saint Jean Paulin Jeannine (1)
  • Salaün Gwen (1)
  • Samson Claude (1)
  • Seguin Christel (1)
  • Sighireanu Mihaela (1)
  • Souquières Jeanine (1)
  • Sutre Grégoire (1)
  • Thévenod-Fosse Pascale (1)
  • Tison Sophie (1)
  • Toussaint Yannick (1)
  • Traoré Mamadou Kaba (1)
  • Walukiewicz Igor (1)
  • Wendling Serge (1)
  • Xie Xiaolan (1)
  • Yim Pascal (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (56)
  • Sciences de l'ingénieur (23)
  • Sciences de la nature et mathématiques (5)
  • Technologie (Sciences appliquées) (4)
  • Mathématiques (2)
  • Informatique, information, généralités (1)
  • Commerce, communications, transports (1)
  • Fabrication industrielle (1)
  • Littérature de langues romanes. Littérature française (1)
  • Histoire générale de l'Asie, Orient, Extrême-Orient (1)

Domaines :

Fullscreen

89 thèses pour "Méthode formelle"

Informatique et télécommunications

Soutenue en 2000
thèse soutenue

...une méthode formelle créée par Jean-Raymond Abrial et présentéedans son livre de référence, appelé le...

Accéder en ligne

Résultats 1 à 10