Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Paris Saclay (11)
  • Besançon (6)
  • Toulouse 3 (5)
  • Lorient (4)
  • Université de Lorraine (4)
  • Châtenay-Malabry, Ecole centrale de Paris (3)
  • Grenoble (3)
  • Mulhouse (3)
  • Paris, ENSAM (3)
  • Pau (3)
  • Clermont-Ferrand 2 (2)
  • Dijon (2)
  • Nancy 1 (2)
  • Orléans (2)
  • Paris 11 (2)
  • Paris Est (2)
  • Toulouse, ISAE (2)
  • Université de Sfax (2)
  • Aix-Marseille (1)
  • Bordeaux (1)
  • Brest (1)
  • Chasseneuil-du-Poitou, Ecole nationale supérieure de mécanique et d'aérotechnique (1)
  • Compiègne (1)
  • Ecole Nationale d'Ingénieur de Sfax (1)
  • Evry, Institut national des télécommunications (1)
  • Grenoble Alpes (1)
  • Instituto de Ciências Matemáticas (São Carlos, Brésil) (1)
  • Laboratoire de recherche de Mécanique, Modélisation et Production (Sfax, Tunisie) (1)
  • Le Mans (1)
  • Limoges (1)
  • Lyon, INSA (1)
  • Malardalen University (1)
  • Nice (1)
  • Paris, Télécom ParisTech (1)
  • Rennes 1 (1)
  • Strasbourg (1)
  • Supélec (1)
  • Toulon (1)
  • Toulouse, INPT (1)
  • Universidade de São Paulo (Brésil) (1)
  • Université Badji Mokhtar-Annaba (1)
  • Université de Sfax (Tunisie) (1)
  • Université de Sherbrooke (1)
  • Université de Sherbrooke (Québec, Canada) (1)
  • Université du Luxembourg (1)
  • École nationale d'Ingénieurs de Sfax (Tunisie) (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (24)
  • Sciences et technologies industrielles (7)
  • Automatique, Traitement du Signal et des Images, Génie Informatique (4)
  • Stic (4)
  • Génie industriel (3)
  • Sciences pour l'ingénieur (3)
  • Génie mécanique (2)
  • Automatique (1)
  • Automatique, Traitement du Signal, Génie Informatique (1)
  • Automatique, productique, signal et image, ingénierie cognitique (1)
  • Automatique, traitement du signal et images (1)
  • Conception (1)
  • Conception de circuits microélectroniques et microsystèmes (1)
  • Electronique et communications (1)
  • Génie Mécanique (1)
  • Génie civil et sciences de l'habitat (1)
  • Génie des procédés (1)
  • Génie industriel conception et production (1)
  • Génie informatique (1)
  • Informatique (STIC) (1)
  • Informatique - Génie mécanique (1)
  • Informatique - Mathématiques (1)
  • Informatique et Systèmes embarqués (1)
  • Informatique et applications (1)
  • Informatique industrielle et automatique (1)
  • Instrumentation et informatique de l'image (1)
  • Réseaux, télécom, système et architecture (1)
  • Réseaux, télécoms, systèmes et architecture (1)
  • Sciences (1)
  • Sciences de l'information et de la communication (1)
  • Sciences de l'éducation (1)
  • Sciences du langage. Traitement automatique des langues (1)
  • Sureté de logiciel et calcul de haute performance (1)
  • Systèmes industriels (1)
  • Systèmes informatiques critiques (1)
  • Technologies de l'Information et des Systèmes (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale Sciences pour l'ingénieur et microtechniques (Besançon ; Dijon ; Belfort) (7)
  • IAEM - Ecole Doctorale Informatique, Automatique, Électronique - Électrotechnique, Mathématiques (5)
  • École doctorale Santé, information-communication et mathématiques, matière (Brest, Finistère) (5)
  • Interfaces : approches interdisciplinaires, fondements, applications et innovation (4)
  • École doctorale Sciences des métiers de l'ingénieur (Paris) (3)
  • École doctorale Sciences exactes et leurs applications. UFR Sciences et Techniques (Pau) (3)
  • École doctorale Sciences pour l'Ingénieur (Châtenay-Malabry, Hauts de Seine) (3)
  • École doctorale pluridisciplinaire Jean-Henri Lambert, ED 494 (Mulhouse) (3)
  • Ecole doctorale Informatique de Paris-Sud (2)
  • Ecole doctorale Sciences et technologies (Orléans) (2)
  • Sciences mécaniques et énergétiques, matériaux, géosciences (2)
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (2)
  • Ecole Doctorale Cognition, Langage et Education (Aix-en-Provence) (1)
  • Ecole doctorale Langages, Espaces, Temps, Sociétés (Besançon ; 1991-2016) (1)
  • Ecole doctorale Sciences et Technologies de l'Information, des Télécommunications et des Systèmes (Orsay, Essonne) (1)
  • IAEM Lorraine (1)
  • MSTIC : Mathématiques et Sciences et Technologies de l'Information et de la Communication (1)
  • Sciences et Technologies de l'Information et de la Communication (1)
  • École Doctorale Mathématiques, Informatique et Télécommunications (Toulouse) (1)
  • École doctorale 71, Sciences pour l'ingénieur (Compiègne) (1)
  • École doctorale Approches interdisciplinaires : fondements, applications et innovation (Palaiseau, Essonne) (1)
  • École doctorale Electrical, optical, bio-physics and engineering (Orsay, Essonne) (1)
  • École doctorale Ingénierie - matériaux mécanique énergétique environnement procédés production (Grenoble) (1)
  • École doctorale Mathématiques, Sciences et Technologies de l'Information et de la Communication (Champs-sur-Marne, Seine-et-Marne ; 2010-2015) (1)
  • École doctorale Mathématiques, sciences de l'information et de l'ingénieur (Strasbourg) (1)
  • École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (1)
  • École doctorale Sciences Mécaniques et Energétiques, Matériaux et Géosciences (Cachan, Val-de-Marne) (1)
  • École doctorale Sciences et Ingénierie (2008-2015 ; Evry) (1)
  • École doctorale Sciences et ingénierie pour l'information, mathématiques (Limoges) (1)
  • École doctorale Sciences et ingénierie pour l'information, mathématiques - S2IM (Limoges) (1)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne) (1)
  • École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) (1)
  • École doctorale Systèmes (Toulouse) (1)
  • École doctorale des sciences physiques et de l’ingénieur (Talence, Gironde) (1)
  • École doctorale des sciences pour l'ingénieur (Clermont-Ferrand) (1)
  • École doctorale en Informatique et Mathématiques de Lyon (1)
  • École doctorale sciences et ingénierie des systèmes, de l'environnement et des organisations (Chambéry) (1)
  • École doctorale sciences et technologies de l'information et des matériaux (Nantes) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (47)
  • anglais (21)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Choley Jean-Yves (4)
  • Morel Gérard (4)
  • Hammad Ahmed (3)
  • Mountassir Hassan (3)
  • Oquendo Flavio (3)
  • Rivière Alain (3)
  • Soriano Thierry (3)
  • Apvrille Ludovic (2)
  • Barbier Franck (2)
  • Berruet Pascal (2)
  • Bouquet Fabrice (2)
  • Chouali Samir (2)
  • Iung Benoît (2)
  • Kratz Frédéric (2)
  • Laleau Régine (2)
  • Nakagawa Elisa Yumi (2)
  • Ober Iulian Sorin (2)
  • Pacalet Renaud (2)
  • Peureux Fabien (2)
  • Bajic Eddy (1)
  • Basset Michel (1)
  • Baudry Benoit (1)
  • Bellatreche Ladjel (1)
  • Ben Amar Chokri (1)
  • Boulanger Frédéric (1)
  • Bourennane El-Bay (1)
  • Bozga Dorel Marius (1)
  • Brilhac Jean-François (1)
  • Buhé Catherine (1)
  • Campagne Jean-Pierre (1)
  • Campo Éric (1)
  • Cardey-Greenfield Sylviane (1)
  • Cauvin Aline (1)
  • Cavalli Ana (1)
  • Chaaban Khaled (1)
  • Chatoney Marjolaine (1)
  • Choquet Christophe (1)
  • Coulibaly Amadou (1)
  • Demmou Hamid (1)
  • Dupuy-Chessa Sophie (1)
  • Estève Daniel (1)
  • Ferrarini Alain (1)
  • Foufou Sebti (1)
  • Gérard Sébastien (1)
  • Hugues Jérôme (1)
  • Kadima Hubert (1)
  • Khouri Selma (1)
  • Kouiss Khalid (1)
  • Labbani Ouassila (1)
  • Laforcade Pierre (1)
  • Lanet Jean-Louis (1)
  • Larouci Cherif (1)
  • Lartigue Claire (1)
  • Levrat Eric (1)
  • Louati Louati.ttg@gmail.tn (1)
  • Maler Oded (1)
  • Mallet Frédéric (1)
  • Méry Dominique (1)
  • Navet Nicolas (1)
  • Ober Ileana (1)
  • Oubahssi Lahcen (1)
  • Ouslimani Achour (1)
  • Paludetto Mario (1)
  • Penas Olivia (1)
  • Percebois Christian (1)
  • Petin Jean-François (1)
  • Querrec Ronan (1)
  • Rauffet Philippe (1)
  • Rauzy Antoine (1)
  • Ray Pascal (1)
  • Ribot Pauline (1)
  • Rieu Dominique (1)
  • Riviere Alain (1)
  • Roose Philippe (1)
  • Sadou Nabil (1)
  • Sahraoui Abd-El-Kader (1)
  • Saqui-Sannes Pierre de (1)
  • Sauce Gérard (1)
  • Seguin Christel (1)
  • Shawky Mohamed (1)
  • Siadat Ali (1)
  • Tatibouet Bruno (1)
  • Terrier François (1)
  • Theilliol Didier (1)
  • Thirion Bernard (1)
  • Toguyeni Abdoul Karim Armand (1)
  • Vallespir Bruno (1)
  • Verfaillie Gérard (1)
  • Veron Philippe (1)
  • Wolff Burkhart (1)
  • Zwolinski Peggy (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (35)
  • Sciences de l'ingénieur (33)
  • Physique (5)
  • Informatique, information, généralités (3)
  • Gestion et organisation de l'entreprise (2)
  • Education et enseignement (1)
  • Langues et linguistique (1)
  • Sciences de la nature et mathématiques (1)
  • Mathématiques (1)
  • Technologie (Sciences appliquées) (1)
  • Fabrication industrielle (1)
  • Bâtiments (1)
  • Urbanisme (1)

Domaines :

Fullscreen

76 thèses pour SysML

...Diagram.SysML SystemsModeling Language.UML UniiedModeling Language.XML Extensible Markup Language.xvii1Iǰ...

Accéder en ligne

...ofSysML blocks and to verify component compatibility. Finally, in Chapter 4, we present thecomponent...

Accéder en ligne

...the SysML4Modelica StereotypesSysML Base Class SysML4Modelica Modelica ConstructBlock Definition...

Accéder en ligne

...systems?• HowSysML can be combinedwithmodel-checking to provide formal verification ofsystem functional...

Accéder en ligne

Résultats 1 à 10