ANALYSE ASSISTEE PAR ORDINATEUR DE SYSTEMES DYNAMIQUES LINEAIRES = COMPUTER-AIDED ANALYSIS OF LINEAR DYNAMIC SYSTEMSVERNADAT FRANCOIS.1981; ; FRA; DA. 1981; 152 P.; 30 CM; BIBL. DISSEM.; TH. 3E CYCLE: ELECTRON./CLERMONT-FERRAND 2/1981/660Thesis

Un outil de gestion des compétences acquises et requises implanté à Trémery dans le groupe PSA = A tool of required and acquired competence management implemented in Trémery in the PSA enterpriseHARZALLAH, Mounira; VERNADAT, Francois.MOSIM '01 : conference francophone de modélisation et simulation. 2001, isbn 1-56555-212-1, 3Vol, V2, 699-706Conference Paper

Maîtrise de l'information non structurée et capitalisation de savoir et savoir-faire en Ingénierie intégrée. Cas d'étude Aérospatiale = HARNESSING OF NON STRUCTURED INFORMATION AND KNOWLEDGE AND KNOW-HOW CAPITALISATION IN INTEGRATED ENGINEERING. CASE STUDY AT AEROSPATIALE MATRAGardoni, Mickael; Vernadat, François.1999, 157 p.Thesis

Architecture Distribuée Multi-Experts avec Contrôle Hiérarchique pour le Pilotage des Systèmes de Production = Distributed Multi-Experts Architecture with Hierarchical Control for the Shop-floor control of Production SystemsYoussef, Ayman; Vernadat, François.1998, 183 p.Thesis

Conception et planification des chaines de production, MOSIM'01DOLGUI, Alexandre; VERNADAT, François.Journal européen des systèmes automatisés. 2002, Vol 36, Num 1, issn 1269-6935, 184 p.Conference Proceedings

UNE ARCHITECTURE HIERARCHISEE MULTI-AGENTS POUR LE PILOTAGE REACTIF D'ATELIERS DE PRODUCTION = A HIERARCHICAL MULTI-AGENTS ARCHITECTURE APPLIED TO REACTIVE SHOP-FLOOR CONTROLRoy, Daniel; Vernadat, Francois.1998, 184 p.Thesis

Developpement d'un cadre d'estimation des coûts en production mecanique base sur le concept entite coût = Development of a cost estimation framework in mechanical engineering based on the cost feature conceptH'MIDA, Fehmi; MARTIN, Patrick; VERNADAT, Francois et al.MOSIM '01 : conference francophone de modélisation et simulation. 2001, isbn 1-56555-212-1, 3Vol, V1, 303-308Conference Paper

Conception, analyse et gestion des sytèmes industriels (Troyes, 25-27 avril 2001)Dolgui, Alexandre; Vernadat, François.MOSIM '01 : conference francophone de modélisation et simulation. 2001, isbn 1-56555-212-1, 3Vol, XXIII, 1052 ; 108 p, isbn 1-56555-212-1Conference Proceedings

Les metaheuristiques: des outils performants pour les problemes industriels = The metaheuristics: efficient tools for industrial problemsWIDMER, Marino.MOSIM '01 : conference francophone de modélisation et simulation. 2001, isbn 1-56555-212-1, 3Vol, V1, 13-21Conference Paper

Méthodologie de modélisation par simulation des établissements de soins: une application au service de chirurgie = Methodology of modelling by simulation in hospitals: an application to the surgery departmentCOMBES, Catherine.MOSIM '01 : conference francophone de modélisation et simulation. 2001, isbn 1-56555-212-1, 3Vol, V1, 443-450Conference Paper

The future of simulationBANKS, Jerry.MOSIM '01 : conference francophone de modélisation et simulation. 2001, isbn 1-56555-212-1, 3Vol, V1,11-12Conference Paper

Smart products and service systems for E-business transformationLEE, Jay.MOSIM '01 : conference francophone de modélisation et simulation. 2001, isbn 1-56555-212-1, 3Vol, V1, 33-38Conference Paper

UEML: Howards a unified enterprise modelling languageVERNADAT, F.MOSIM '01 : conference francophone de modélisation et simulation. 2001, isbn 1-56555-212-1, 3Vol, V1,3-10Conference Paper

Approche systémique d'une simulation stratégique du reseau postal = Systemic approach of a strategical simulation of the postal networkMARIETAN, Stéphane.MOSIM '01 : conference francophone de modélisation et simulation. 2001, isbn 1-56555-212-1, 3Vol, V2, 753-758Conference Paper

Un nouvel algorithme pour la synthèse de la commande des systèmes à événements discrets = A new algithm for the control synthesis of discrete event systemsNOURELFATH, Mustapha.MOSIM '01 : conference francophone de modélisation et simulation. 2001, isbn 1-56555-212-1, 3Vol, V1, 175-181Conference Paper

Contribution à l'évaluation des conditions de circulation sur les routes bidirectionnelles en rase campagne = Contribution of trafic condition evaluation on bidirectional roads in open countryFLUTEAUX, Laetitia.MOSIM '01 : conference francophone de modélisation et simulation. 2001, isbn 1-56555-212-1, 3Vol, V1, 393-399Conference Paper

Déménagement d'une ligne de production manufacturière sans arret de l'activité de production = Removal of manufacturing production line with no interruptionPUJO, Patrick.MOSIM '01 : conference francophone de modélisation et simulation. 2001, isbn 1-56555-212-1, 3Vol, V1, 493-499Conference Paper

Principes d'implémentation et de transformation des spécifications formelles des systèmes multi-agents dans valid = Implementation principles and formal specifications transformation of multiagent systems in validHASBANI, Abdelfettah.MOSIM '01 : conference francophone de modélisation et simulation. 2001, isbn 1-56555-212-1, 3Vol, V2, 895-904Conference Paper

SIMCAB: un outil générique de simulation sous Microsoft Excel = SIMCAB: a generic tool of simulation under Microsoft ExcelCABARBAYE, André.MOSIM '01 : conference francophone de modélisation et simulation. 2001, isbn 1-56555-212-1, 3Vol, V3, 55-59Conference Paper

UNE APPROCHE MULTI-MODELES POUR LA CAPITALISATION DES CONNAISSANCES DANS LE DOMAINE DE LA CONCEPTION = A MULTIMODEL APPROACH FOR KNOWLEDGE CAPITALISATION IN DESIGN ACTIVITIESHarani, Yasmina; Vernadat, François.1997, 190 p.Thesis

Vérification formelle d'applications réparties. Caractérisation logique d'une équivalence de comportement = Formal verification of distributed computing systems. Logic characterization of behaviour equivalenceVernadat, François; Azema, Pierre.1989, 144 p.Thesis

Apport d'une methode de classification de donnees et d'un outil d'aide a la decision dans l'estimation du prix de revient = Contribution of a data classification method and of a decision support tool in the cost price estimationTALBI, Abdennebi.MOSIM '01 : conference francophone de modélisation et simulation. 2001, isbn 1-56555-212-1, 3Vol, V1, 309-315Conference Paper

Operational building blocks for business process modellingREYNERI, C.Computers in industry. 1999, Vol 40, Num 2-3, pp 115-123, issn 0166-3615Article

The OPAL platform : a CIMOSA compliant execution environmentSOLTE, D.Computers in industry. 1999, Vol 40, Num 2-3, pp 293-303, issn 0166-3615Article

Modelling of Reactive SystemsJUANOLE, Guy; VALETTE, Robert; VERNADAT, François et al.Journal européen des systèmes automatisés. 2002, Vol 36, Num 7, issn 1269-6935, 158 p.Conference Proceedings