Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Toulouse 3 (16)
  • Paris 11 (11)
  • Nancy 1 (6)
  • Besançon (5)
  • Nantes (5)
  • Paris Est (5)
  • Rennes 1 (5)
  • Nice (4)
  • Toulouse, INPT (4)
  • Université Savoie Mont Blanc (4)
  • Vandoeuvre-les-Nancy, INPL (4)
  • Paris 6 (3)
  • Paris 9 (3)
  • Paris, CNAM (3)
  • Strasbourg 1 (3)
  • Université de Sherbrooke (3)
  • Belfort-Montbéliard (2)
  • Clermont-Ferrand 2 (2)
  • Evry, Institut national des télécommunications (2)
  • Evry-Val d'Essonne (2)
  • Grenoble 1 (2)
  • Grenoble Alpes (2)
  • Grenoble INPG (2)
  • Marne-la-vallée, ENPC (2)
  • Orléans (2)
  • Paris Saclay (2)
  • Toulouse 1 (2)
  • Université de Lorraine (2)
  • Valenciennes (2)
  • Versailles-St Quentin en Yvelines (2)
  • Paris, ENMP (1)
  • Aix-Marseille 3 (1)
  • Bordeaux 1 (1)
  • Cachan, Ecole normale supérieure (1)
  • Caen (1)
  • Compiègne (1)
  • Côte d'Azur (1)
  • Ecole Centrale de Lille (1)
  • Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire (1)
  • Grenoble (1)
  • La Rochelle (1)
  • Lille 1 (1)
  • Lille, Université des Sciences et technologies de Lille (1)
  • Limoges (1)
  • Littoral (1)
  • Lorient (1)
  • Lyon 1 (1)
  • Lyon, INSA (1)
  • Mulhouse (1)
  • Nancy 2 (1)
  • Paris 13 (1)
  • Paris 7 (1)
  • Paris 8 (1)
  • Paris, ENST (1)
  • Pau (1)
  • Rennes, INSA (1)
  • Sankt-Peterburgskij gosudarstvennyj universitet (1)
  • Sorbonne Paris Cité (1)
  • Toulouse 2 (1)
  • Toulouse, INSA (1)
  • Toulouse, ISAE (1)
  • Universidade de São Paulo (Brésil) (1)
  • Université de Sfax (Tunisie) (1)
  • Université de Sherbrooke (Québec, Canada) (1)
  • École nationale supérieure de l'aéronautique et de l'espace (Toulouse ; 1972-2007) (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (68)
  • Sciences appliquées (27)
  • Sciences et techniques (7)
  • Automatique et informatique (3)
  • Informatique et télécommunications (2)
  • Informatique industrielle (2)
  • Sciences de l'ingénieur (1)
  • Automatique industrielle et humaine (1)
  • Automatique, Génie informatique, Traitement du signal et des Images (1)
  • Contrôle des Systèmes (1)
  • Electronique-Architecture d'Instrumentations (1)
  • Génie informatique et automatique (1)
  • Inforamtique (1)
  • Informatique et mathématiques appliquées (1)
  • Informatique et réseaux (1)
  • Informatique fondamentale et parallélisme (1)
  • Informatique industrielle et automatiqueInformatique industrielle et automatique (1)
  • Informatique, données, IA (1)
  • Informatique, spécification formelle et architecture logicielle (1)
  • Informatique, temps réel, robotique et automatique (1)
  • Informatique. Automatique (1)
  • Mathématiques. Informatique (1)
  • Mathématiques. Logique et fondements de l'informatique (1)
  • Production automatisée (1)
  • Sciences (1)
  • Sciences appliquées. Informatique (1)
  • Sciences de l'ingénieur. Automatique et informatique appliquée (1)
  • Sciences et Technologies de l'Information et de la Communication (1)
  • Sciences et techniques communes (1)
  • Sciences et technologies de l'information et de la communication (1)
  • Sciences pour l'ingénieur (1)
  • Sureté de logiciel et calcul à haute performance (1)
  • Systèmes de communication (1)
  • Systèmes informatiques et systèmes ambarqués (1)
  • Sûreté logicielle et calcul de haute performance (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (6)
  • École doctorale Mathématiques, Sciences et Technologies de l'Information et de la Communication (Champs-sur-Marne, Seine-et-Marne ; 2010-2015) (3)
  • École doctorale Sciences et Ingénierie (Evry ; 2008-2015) (3)
  • École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) (3)
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (3)
  • École doctorale Mathématiques, informatique et télécommunications (Toulouse) (2)
  • École doctorale Santé, information-communication et mathématiques, matière (Brest, Finistère) (2)
  • Ecole Doctorale de l'Institut Polytechnique de Paris (1)
  • Ecole doctorale Informatique de Paris-Sud (1)
  • MSTIC : Mathématiques et Sciences et Technologies de l'Information et de la Communication (1)
  • Mathématiques et Sciences et Technologies de l'Information et de la Communication (1)
  • Sciences et ingénierie (1)
  • École doctorale 71, Sciences pour l'ingénieur (Compiègne) (1)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (1)
  • École doctorale Sciences pour l'Ingénieur (Lille) (1)
  • École doctorale Sciences pour l'ingénieur et microtechniques (Besançon ; Dijon ; Belfort) (1)
  • École doctorale Sciences pratiques (1998-2015 ; Cachan, Val-de-Marne) (1)
  • École doctorale Systèmes (Toulouse) (1)
  • École doctorale de Sciences mathématiques de Paris Centre (Paris) (1)
  • École doctorale de mathématiques et informatique (Talence, Gironde) (1)
  • École doctorale sciences et technologies de l'information et des matériaux (Nantes) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (112)
  • anglais (23)
  • russe (1)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Juanole Guy (4)
  • Souquières Jeanine (4)
  • Dufourd Jean-François (3)
  • Finance Jean-Pierre (3)
  • Julliand Jacques (3)
  • Kodratoff Yves (3)
  • Laleau Régine (3)
  • Raynaud Yves (3)
  • Cavalli Ana (2)
  • Choppy Christine (2)
  • Elloy Jean-Pierre (2)
  • Filali Mamoun (2)
  • Frappier Marc (2)
  • Gaudel Marie-Claude (2)
  • Gondran Michel (2)
  • Gouardères Guy (2)
  • Haurat Alain (2)
  • Levy Nicole (2)
  • Madelaine Éric (2)
  • Michel Pierre (2)
  • Méry Dominique (2)
  • Oquendo Flavio (2)
  • Palanque Philippe (2)
  • Pujolle Guy (2)
  • Wendling Serge (2)
  • Abiteboul Serge (1)
  • Apvrille Ludovic (1)
  • Aragon Bernard (1)
  • Attoui Ammar (1)
  • Aït-Ameur Yamine (1)
  • BERLAMD RICHARD (1)
  • BUDKOWSKI S. (1)
  • Banâtre Michel (1)
  • Barais Olivier (1)
  • Bastide Rémi (1)
  • Beaudouin-Lafon Michel (1)
  • Beauquier Danièle (1)
  • Benzekri Abdelmalek (1)
  • Bernhaupt Regina (1)
  • Bernot Gilles (1)
  • Berry Gérard (1)
  • Bidoit Michel (1)
  • Bodeveix Jean-Paul (1)
  • Bourton Michel (1)
  • Briand Henri (1)
  • Bétourné Claude (1)
  • Calvary Gaëlle (1)
  • Causse Bernard (1)
  • Combemale Benoit (1)
  • Courtiat Jean-Pierre (1)
  • DELCAMBRE BERTRAND (1)
  • Dabbous Walid (1)
  • Dal Zilio Silvano (1)
  • Darondeau Philippe (1)
  • Deswarte Yves (1)
  • Diaz Michel (1)
  • Directeur de thèse inconnu (1)
  • Donzeau-Gouge Viguié Véronique (1)
  • Dubois Catherine (1)
  • Ducassé, Mireille (1)
  • Dupuy-Chessa Sophie (1)
  • EULER REINHARDT (1)
  • El-Koursi El-Miloudi (1)
  • Enjalbert Patrice (1)
  • FACON PHILIPPE (1)
  • Fabre Jean-Charles (1)
  • Ferrand G. (1)
  • Franchi-Zannettacci Paul (1)
  • Francillon Aurélien (1)
  • Frydman Claudia (1)
  • Gaaloul Walid (1)
  • Ghazel Mohamed (1)
  • Giavitto Jean-Louis (1)
  • Giorgetti Alain (1)
  • Giroux Sylvain (1)
  • Gourgand Michel (1)
  • Gruer Juan Pablo (1)
  • Haar Stefan (1)
  • Hamri Amine (1)
  • Hanafi Saïd (1)
  • Henrio Ludovic (1)
  • Herbelin Hugo (1)
  • Jacquet Paul (1)
  • Jacquot Jean-Pierre (1)
  • Jaray Jacques (1)
  • Jard Claude (1)
  • Jmaiel Mohamed (1)
  • Jomier Geneviève (1)
  • Kesner Delia (1)
  • Koning Jean-Luc (1)
  • Kosmatov Nikolaï (1)
  • Koukam Abder (1)
  • Krakowiak Sacha (1)
  • Lafaye Jean-Yves (1)
  • Laurini Robert (1)
  • Le Gall Pascale (1)
  • Le botlan Didier (1)
  • Loor Pierre de (1)
  • Lorho Bernard (1)
  • Louis Georges (1)
  • MAHJOUB AHMED (1)
  • Mammar Amel (1)
  • Mateescu Radu (1)
  • Merz Stephan (1)
  • Millot Patrick (1)
  • Morel Gérard (1)
  • Mosbah Mohamed (1)
  • Mourlin Fabrice (1)
  • Ouabdesselam Farid (1)
  • Oussalah Mourad-Chabane (1)
  • Padiou Gérard (1)
  • Pantel Marc (1)
  • Pichat Étienne (1)
  • Pierret-Golbreich Christine (1)
  • Potet Marie-Laure (1)
  • Prince Violaine (1)
  • Quinson Martin (1)
  • Quéinnec Philippe (1)
  • Ramat Eric (1)
  • Riveill Michel (1)
  • Roucairol Gérard (1)
  • Roussey Catherine (1)
  • Régis-Gianas Yann (1)
  • Serwe Wendelin Bernhard (1)
  • Simonot Marianne (1)
  • Soloviev Igor (1)
  • Thomesse Jean-Pierre (1)
  • Trigano Philippe (1)
  • VIGNES SYLVIE (1)
  • Val Thierry (1)
  • Valette Robert (1)
  • Vernadat François B. (1)
  • Vieira De Melo Ana Cristina (1)
  • Yim Pascal (1)
  • Zaïdi Fatiha (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (84)
  • Sciences de l'ingénieur (44)
  • Sciences de la nature et mathématiques (7)
  • Technologie (Sciences appliquées) (7)
  • Informatique, information, généralités (5)
  • Mathématiques (5)
  • Bibliothéconomie et sciences de l'information (1)
  • Sciences sociales, sociologie, anthropologie (1)
  • Commerce, communications, transports (1)
  • Physique (1)
  • Fabrication industrielle (1)

Domaines :

Fullscreen

138 thèses pour "Spécification formelle"

Informatique, spécification formelle et architecture logicielle

Soutenue en 2006
thèse soutenue

Spécification formelle de commande numérique de machine-outil

par Sidi Mohamed Yazid sous la direction de RICHARD BERLAMD - Limoges

Informatique. Automatique

Soutenue en 1997
thèse soutenue

...”, notre approche permet la vérification depropriétés sur la spécification formelle du système. Les...

Accéder en ligne
Automatique, Génie informatique, Traitement du signal et des Images

Soutenue le 21-01-2013
thèse soutenue
Sciences et technologies de l'information et de la communication

Soutenue en 2010
thèse soutenue

Résultats 1 à 10