Conférences avec actes :

[ présentation : catégorie > année / année > catégorie / compacte / BibTeX ]  page 13 / 14

[1201] E. Remy, E. Thiel, “Optimizing 3D Chamfer Masks with Norm Constraints”, in: 7th~IWCIA, Int. Workshop on Combinatorial Image Analysis, pp. 39-56,, Caen, juillet 2000.[bib]

[1202] X. Boucher, A. Cauvin, “Improving cooperation processes in concurrent engineering, in view of trade specificities”, in: 2 ème Congrès International sur le Management et la Conduite en Production et Logistique (MCPL'00), Grenoble, France, juillet 2000.[bib]

[1203] G. Audemard, L. Henocque, “Sur la génération de modèles finis non isomorphes”, in: proceedings of 6èmes Journées Nationales sur la résolution pratique de problèmes NP-Complets, JNPC'00, Marseille, France, pp. 57-66, juin 2000.[bib]

[1204] V. Rossignol, M. Daniel, “Spline Wavelets for Line Cartographic Generalization”, in: Fifth International Conference on Mathematical Methods for Curves and Surfaces, Oslo, Norvège, 29 juin - 4 juillet 2000.[bib]

[1205] A. Hagen, H. Glotin, “Études comparatives des robustesses au bruit de l'approche 'full combination' et de son approximation,”, in: Journées francophones d'Etudes sur la Parole (JEP), 4p, Aussois-France, Juin 2000.[bib]

[1206] F. Berthommier, H. Glotin, “Reconnaissance de la parole dans le bruit après renforcement fondé sur l'harmonicité”, in: Journées francophones d'Etudes sur la Parole (JEP), 4p, Aussois-France, Juin 2000.[bib]

[1207] C. Frydman, L. Torres, M. Le Goc, “Vérification et validation du modèle d'expertise du système Sachem”, in: Conférence francophone sur l'Ingénierie des Connaissances 2000, pp. 229-236, Toulouse, mai 2000.[bib]

[1208] L. Astart, J. Sequeira, “Modifying the parameterization of free-form surfaces for the representation of tree-like structures”, in: RECPAD 2000, Porto (Portugal), mai 2000.[bib]

[1209] J.-L. Mari, J. Sequeira, “Using implicit surfaces to characterize shapes within digital volumes”, in: RECPAD 2000 Proceedings, pp. 285-289, Porto, Portugal, mai 2000.[bib]

[1210] E. Würbel, O. Papini, R. Jeansoulin, “Revision: an application in the framework of GIS”, in: 7th International Conference on Principles of Knowledge Representation and Reasoning, KR'2000., pp. 505-516,, Breckenridge, Colorado, USA, avril 2000.[bib]

[1211] J. Le Maitre, Y. Marcoux, E. Murisasco, “SgmlQL + XGQL = Powerful Pattern-Matching and Data-Manipulation in a Single Language”, in: Proceedings of RIAO 2000: Content-Based Multimedia Information Access, pp. 1346-1362, Paris, France, April 2000.[bib]

[1212] C. Frydman, N. Giambiasi, L. Torres, “Acquisition of Knowledge Based DEVS models using extended event graphs”, in: AIS-IEEE 2000, Artificial Intelligence, Simulation, and Planning in High Autonomy Systems, Tucson, USA, mars 2000.[bib]

[1213] E. Remy, E. Thiel, “Structures dans les sphères de chanfrein”, in: 12ieme # RFIA, vol. 1, pp. 483-492,, Paris, février 2000.[bib]

[1214] A. Boyarm, A. Naamane, N. Giambiasi, “Discrete event simulation of hybrid models using DESLCS”, in: ESM'99, 13th European Simulation Multiconference, Varsovie, 1999.[bib]

[1215] N. Giambiasi, “Spécifications formelles de modèles à Evénements discrets et à temps logique MSR'99”, in: 2ème Congrès sur la Modélisation des Systèmes Réactifs, Cachan, France, 1999.[bib]

[1216] N. Giambiasi, B. Escudé, A. Naamane, “Discrete Event simulation : anticipatory or Pre-Emptive semantic ?”, in: ESM'99, 13th European Simulation Multiconference, Varsovie, 1999.[bib]

[1217] N. Giambiasi, W. Jumpamule, J.-L. Paillet, “High Level Specifications of Control systems”, in: 15th International Conference on CAD/CAM, Robotics and Factories of the Future CARS and FOF'99, Aguas de Lindoia, Bresil, 1999.[bib]

[1218] P. Ladet, S. Liman, F. Ounnar, “Decision-Making concerning Production Processes disturbances at supervisory and local levels : a Petri nets approach”, in: ECC'99, Second European Control Conference, Karlsruhe, 1999.[bib]

[1219] F. Ounnar, P. Ladet, “Modèles réseaux de Petri et mécanisme de décision dans la gestion des pannes machines”, in: MSR'99, 2eme Congrès sur la Modélisation des Systèmes Réactifs, Cachan, 1999.[bib]

[1220] F. Ounnar, P. Ladet, “Algorithme de prise de décision dans un modèle de réseau de Petri : aide à la réaffectation des opérations sur panne-machine”, in: 3e Congrès International de Génie Industriel, Montréal, 1999.[bib]

[1221] J.-L. Paillet, “Tau-calculus, a multilevel specification methodology”, in: EDCC-3, European Dependable Computing Conference, Prague, 1999.[bib]

[1222] J.-L. Paillet, T. Muntean, “Tau-calculus, a Multilevel Specification and Design Methodology for Reliable Systems”, in: Conf. on High Reliable Hard- and Software Systems, HighSys'99, München, 1999.[bib]

[1223] P. Pujo, N. Broissin, S. Meyer, J.C. Bertrand, “Pilotage décentralisé des Systèmes de Production”, in: 3e Congrès International de Génie Industriel, pp. 1975-1984, Montréal, 1999.[bib]

[1224] P. Pujo, J. Peyrot, A. Sevestre, “Déménagement d'une ligne de production sans interruption de l'activité”, in: 3e Congrès International de Génie Industriel, pp. 345-356, Montréal, 1999.[bib]

[1225] Y. Renucci, C. Frydman, L. Torres, N. Giambiasi, M. Le Goc, “Extended Event Graphs for Acquiring and Modelling Control Requirements”, in: 12th Knowledge Acquisition for Knowledge Based Systems Workshop, Banff, Alberta, 1999.[bib]

[1226] G. Wainer, N. Giambiasi, “Avoiding serialization in timed Cell-DEVS models”, in: SCS Summer Multiconference on Computer Simulation, Chicago, USA, 1999.[bib]

[1227] G. Wainer, N. Giambiasi, “Specification of timing delays for cell-devs models”, in: Summer Computer Simulation Conference, Chicago, 1999.[bib]

[1228] G. Wainer, N. Giambiasi, “Timing Delays Specification using DEVS formalism”, in: ISAS'99, 14th IEEE International Symposium on Intelligent Control, Cambridge, Massachussets, 1999.[bib]

[1229] G. Wainer, D. Rodríguez, N. Giambiasi, “Cell-DEVS with explicit Delays : Parallel Simulation”, in: CARS and FOF'99, 15th ISPE/IFAC International Conference on CAD/CAM, Robotics and Factories of the Future, Aguas de Lindoia, Brazil, 1999.[bib]

[1230] J.-C. Carmona, V. Alvarado, “Why robust control is a solution to the narrowband problem in active noise control”, in: American Control Conference, pp. 591-592, San Diego, Cal. USA, 1999.[bib]

[1231] R. Megartsi, K. Ayadi, A. Cauvin, J.-P. Kieffer, “L'activité : Vers un concept fédérateur pour l'analyse de la conduite des systèmes de production et des processus de conception de produit”, in: 3ème congrès international de Génie Industriel, pp. 1867-1876, Montréal, Canada, 1999.[bib]

[1232] R. Megartsi, A. Cauvin, K. Ayadi, “A common concept of activity for production systems and design processes control”, in: 7th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA'99, Barcelone, Espagne, 1999.[bib]

[1233] D. Brun-Picard, A. Gouskov, D. Lesage, J. Vincenti, “Perçage vibratoire par tête auto-vibrante. Approche théorique et premières expérimentations”, in: 2ème séminaire PPF ``Maitrise du procédé d'enlèvement de matière et des techniques associées'', Aix-en-Provence, France, 1999.[bib]

[1234] P. Véron, J.C. Léon, “Traitements géométriques pour l'usinage de formes complexes à partir de polyèdres issus de numérisation 3D”, in: Journée Primeca ``CFAO et Usinage de formes complexes'', Paris, France, 1999.[bib]

[1235] C. Pain-Barre, C. Schwind, “Compiling an Action Theory to get provably correct operators for Planning”, in: First Workshop of the Knowledge Engineering Technical Coordination Unit of the PLANET Network of Exellence in AI Planning, Salford, UK, 1999.[bib]

[1236] N. Prcovic, B. Neveu, “Ensuring a Relevant Visiting Order of the Leaf Nodes During a Tree Search”, in: Principles and Practice of Constraint Programming (CP'99), vol. LNCS 1713, pp. 361-374, 1999.[bib]

[1237] G. Audemard, B. Benhamou, P. Siegel, “La méthode d'avalanche AVAL : une méthode énumérative pour SAT”, in: Journée nationale des problèmes NP Complets, JNPC 99, pp. 17-25, Lyon, 1999.[bib]

[1238] F. Bouquet, L. Henocque, P. Jégou, “Enumération et représentation d'impliquants premiers”, in: Actes de la Vème Conférence Nationale sur la Résolution de Problèmes NP-Complets - JNPC'99, pp. 179-188, Lyon, 1999.[bib]

[1239] F. Bouquet, P. Jégou, “ROBDD : Une étude sur les ordres et stratégies de construction”, in: Actes de la Vème Conférence Nationale sur la Résolution de Problèmes NP-Complets - JNPC'99, pp. 207-215, Lyon, 1999.[bib]

[1240] A. Guénoche, S. Grandcolas, “Approximation par arbre d'une distance partielle”, in: ROADEF99, Colloque de la Société Francaise de Recherche Opérationelle et d'Aide à la Décision, 1999.[bib]

[1241] N. Prcovic, B. Neveu, “Etude théorique sur les recherches entrelacée et à divergence limitée”, in: Ve Journées Nationales sur les Problèmes NP-Complets (JNPC'99), pp. 85-94, 1999.[bib]

[1242] O. Boucelma, “Specification of Database Queries : a Combinator Based Approach”, in: 14th Intl. Workshop on Algebraic Development Techniques, WADT'99, Château de Bonas, France, 1999.[bib]

[1243] J. Caussanel, E. Chouraqui, “Model an Methodology of Knowledge Capitalization for Small and Medium Enterprises”, in: 12th Banff Knowledge Acquisition for Knowledge- based Systems Workshop, KAW'99, Alberta, Canada, 1999.[bib]

[1244] J. Caussanel, E. Chouraqui, “Mémoires d'entreprises et PME-MPI : une approche spécifique”, in: 3'27 Congrès International de Génie Industriel, Montréal, Canada, 1999.[bib]

[1245] E. Chouraqui, V. Portafaix, “Construction of an expertise model for optimised planning of quality control route sheets”, in: 6th Biennal BAR-ILAN Symposium on the foundation of Artificial Intelligence, BISFAI'99, Ramat Gan, Israël, 1999.[bib]

[1246] L. Cloutier, B. Espinasse, “CAT : A Multi-Agent Coordination Framework for Networked Manufacturing”, in: Ninth European Workshop on Multi-Agents Systems, Modelling Autonomous Agents in Multi-Agent World, MAAMAW'99, Valencia, Spain, 1999.[bib]

[1247] L. Cloutier, B. Espinasse, P. Lefrançois, “Coordinating Inter-Enterprise Operational Business Relations with Multiagent Systems”, in: 3e Congrés International de Génie Industriel, L'intégration des ressources humaines et des technologies : le défi, Montréal, Canada, 1999.[bib]

[1248] L. Cloutier, B. Espinasse, P. Lefrançois, “Networked Enterprise Integration : an Agent-Based Coordination Framework”, in: 14 th World Congress of International Federation of Automatic Control, IFAC'99, Beijing, P. R. China, 1999.[bib]

[1249] L. Cloutier, J.M. Frayret, S. D'Amour, B. Espinasse, B. Montreuil, “Coordinating Activities in Decentralized Manufacturing Enterprises : A Commitment-Oriented Approach”, in: 3e Congrés International de Génie Industriel, L'intégration des ressources humaines et des technologies : le défi, Montréal, Canada, 1999.[bib]

[1250] J.-M. Mercantini, R. Loschmann, “Proposition d'une méthode d'analyse prévisionnelle de la sécurité d'un site industriel”, in: 3eme Congrès International de Génie Industriel, Montréal, Canada., 1999.[bib]

[1251] J.-M. Mercantini, R. Loschmann, E. Chouraqui, “A safety previsional analysis method of an Urban Industrial Site”, in: European Conference on Safety in the Modern Society, SAFETY'99, Helsinski, Finland, 1999.[bib]

[1252] E. Tranvouez, B. Espinasse, A. Ferrarini, “Résolution coopérative et distribuée de problèmes : une application multi-agents au réordonnancemement d'atelier”, in: 3e Congrés International de Génie Industriel, L'intégration des ressources humaines et des technologies : le défi, Montréal, Canada, 1999.[bib]

[1253] I. Abbas, O. Boucelma, “Optimisation algébrique de requêtes dans une base de données objet”, in: 15emes Journées Bases de Données Avancées, BDA'99, Bordeaux, France, 1999.[bib]

[1254] A. Cauvin, A. Ferrarini, “Une démarche de structuration du système de décision des systèmes de production : application a la commande guidée par le produit”, in: 2eme Congrés sur la modélisation des systèmes réactifs - MSR'99, pp. 301-308, Cachan, France, 1999.[bib]

[1255] J.-M. Mercantini, E. Chouraqui, N. Bélanger, “Etude d'un système d'aide au diagnostic des accidents de la circulation routière”, in: Ingénierie des Connaissances 99, IC'99, Palaiseau, France, 1999.[bib]

[1256] P. Ramadour, “Modélisation de connaissances de domaine pour la conception de composants réutilisables en ingénierie des systèmes d'information”, in: Journée jeunes chercheurs ISI-IC'99, Paris, France, 1999.[bib]

[1257] E. Tranvouez, B. Espinasse, “Protocoles de coopération pour le réordonnancement d'atelier”, in: 7eme Journées francophones d'intelligence artificielle et systèmes multi-agents, JFIADSMA'99, pp. 295-312, Saint-Gilles, La Réunion, France, 1999.[bib]

[1258] J.-M. Brun, “Recognition of canonical shapes in modelling schemes using precise or crude approximations”, in: Swiss Conference of CAD/CAM, Neuchâtel, Suisse, 1999.[bib]

[1259] J.-M. Brun, “Tolerant Modeling and Topologic Consistency in CAD-CAM Data Exchanges”, in: 5th Intern. Conf. on Information Systems Analysis and Synthesis, ISAS'99, pp. 317-326, Orlando, Floride, Etats-Unis, 1999.[bib]

[1260] J.-M. Brun, A. Bouras, “CAD models Conversion and Correction”, in: 5th Intern. Conf. on Information Systems Analysis and Synthesis, ISAS'99, pp. 309-316, Orlando, Floride, Etats-Unis, 1999.[bib]

[1261] H. Kanoui, M. Joubert, “A Knowledge-based Architecture of an Electronic Patient Record Supporting Shared Care Over Internet”, in: Third European Conference On Electronic health Care Records, EUROREC'99, pp. 89-93, Séville, 1999.[bib]

[1262] Fosca Giannotti, R. Jeansoulin, Yannis Theodoridis, “Beyond current technology: the perspective of three EC GIS projects”, in: Advances in Databases, DEXA workshop, 1999.[bib]

[1263] S. Thon, J.M. Dischler, D. Ghazanfarpour, “Synthèse de vagues d'océan par étude spectrale”, in: Actes des 12èmes journées AFIG, pp. 235-243, Reims (France), 1999.[bib]

[1264] V. Léveillé, H. Rostaing, Dou H., “Intégration du système de veille dans le système d'information de l'entreprise”, in: Actes du colloque: 3ème congrès international de génie industriel , Montréal, Canada, Presses internationales polytechniques, pp. 1241-1249, 1999.[bib]

[1265] H. Glotin, F. Berthommier, E. Tessier, “A CASA-labelling model using the localisation cue for robust cocktail-party speech recognition”, in: int. conf. Speech Communication & Technology (EUROSPEECH), Vol 5, pp2351-54, Budapest, Sept. 1999.[bib]

[1266] F. Berthommier, H. Glotin, “A new SNR-feature mapping for robust multistream speech recognition”, in: int. conf. Phonetic Sciences (ICPhS), Vol 1, pp711-15, Berkeley University Ed., San Francisco, Aug. 1999.[bib]

[1267] E.Tessier, F. Berthommier, H. Glotin, S. Choi, “A CASA front-end using the localisation cue for segregation and then cocktail-party speech recognition”, in: IEEE int. conf. Speech Process. (ICSP), pp97-102, Seoul, Aug. 1999.[bib]

[1268] S.Choi, Y. Lyu, F. Berthommier, H. Glotin, A. Cichocki, “Blind separation of delayed and superimposed acoustic sources: learning algorithms an experimental study”, in: IEEE int. conf. Speech Process. (ICSP), 4p, Seoul, Sept; 1999.[bib]

[1269] R. Bulot, J. Sequeira, J-M Boï, M.Caprioglio, “Image Analysis of corneal shape deformation”, in: European Medical Biological Engineering Conference, Vienne, Autriche, novembre 1999.[bib]

[1270] L. Astart, J. Sequeira, “Modélisation d'un embranchement : une paramétrisation intermédiaire cohérente”, in: AFIG'99, Association française d'informatique graphique, pp. 342-351, novembre 1999.[bib]

[1271] J.-L. Mari, J. Sequeira, C. Guiard, “Caractérisation de volumes numériques binaires par surfaces implicites”, in: 12èmes journées de l'AFIG, AFIG'99, pp. 49-58, Reims, France, novembre 1999.[bib]

[1272] E. Remy, E. Thiel, “Triangulations des boules de chanfrein”, in: 12e journées de l'AFIG, pp. 126-135,, Reims, novembre 1999.[bib]

[1273] M.-E. Bellemare, P. Haigron, A. Lucas, L. Luo, “Application of active navigation to the automatic characterization of vascular structures”, in: CBME’99, pp. 172-173, Nanjing, Chine, November 1999.[bib]

[1274] M. Le Goc, “Ontological models as shared model to validate a knowledge-based systems”, in: KAW'99, 12th Workshop on Knowledge Acquisition, Modeling and Management, Banff, Alberta, Canada, octobre 1999.[bib]

[1275] E. Bruno, J. Le Maitre, E. Murisasco, “Expression, contrôle et exploitation de la navigation hypertextuelle dans le langage SgmlQL”, in: Actes des 15e Journées Bases de Données Avancées (BDA’99), pp. 83-99, Bordeaux, France, octobre 1999.[bib]

[1276] L. Astart, J. Sequeira, “Paramétrisation intermédiaire d'un carreau de B-spline pour la représentation d'un embranchement”, in: Courbes, surfaces et algorithmes, Groupe de travail modélisation géométriques GDR ALP, septembre 1999.[bib]

[1277] M.-E. Bellemare, P. Haigron, A. Lucas, “Application de la navigation active à la caractérisation de structures anatomiques”, in: Dix-septième colloque sur le traitement du signal et des images, GRETSI'99, pp. 1189-1192, Vannes, France,, septembre 1999.[bib]

[1278] R. Raffin, Marc Neveu, “Déformations sous contraintes : modèle Scodef étendu”, in: Courbes, surfaces et algorithmes, journées du groupe de travail Modélisation Géométrique, septembre 1999.[bib]

[1279] S. Paris, C. Jauffret, “Extraction et détection automatique de pistes fréquentielles en sonar passif”, in: GRETSI, Vannes, France, Septembre 1999.[bib]

[1280] E. Bruno, J. Le Maitre, E. Murisasco, “Controled Hypertextual Navigation in the SgmlQL Language”, in: Proceedings of the 10th International Conference DEXA’99, Lecture Notes in Computer Sciences n° 1677, pp. 83-99, Florence, Italy, August 1999.[bib]

[1281] S. Benferhat, D. Dubois, O. Papini, “A sequential belief revision methods based on polynomials”, in: Proceedings of the American Association Artificial Inteligence AAAI'99, pp. 733 -738, Orlando. Florida, july 1999.[bib]

[1282] F. Berthommier, H. Glotin, “A measure of speech and pitch reliability from voicing”, in: int. Joint Conf. Artificial Intelligence (IJCAI), Computational Auditory Scene Analysis (CASA) wksp, pp61-70, F. Klassner Ed, Scandinavian AI Society, Stockholm, July 1999.[bib]

[1283] M. Le Goc, C.C. Thirion, “Using both numerical and symbolic models to create economic value: The Sachem system example”, in: 27th McMaster Symposium on Iron and Steelmaking, Hamilton, Ontario, mai 1999.[bib]

[1284] H.A. Baboli, D. Brun-Picard, “Méthodes de composition des équipes de travail et outils requis pour la conception du système flexible de production dans un environnement de conception intégrée”, in: 3ème congrès international de Génie Industriel, pp. 971-980, Montréal, Canada, 26-28 mai 1999.[bib]

[1285] X. Boucher, A. Cauvin, J.-P. Kieffer, “Gestion des compétences dans un contexte de mise en œ uvre de l'ingénierie concourante”, in: 3ème congrès international de Génie Industriel, pp. 1383-1392, Montréal, Canada, 26-28 mai 1999.[bib]

[1286] R. Raffin, Marc Neveu, Frédéric Jaar, “Extended constrained deformations : a new sculpturing tool”, in: International Conference on Shape Modeling and Applications, University of Aizu, Japan, pp. 219-224, IEEE Computer Society, March 1999. ISBN 0-7695-0065-X.[bib]

[1287] E. Malgras, M. Daniel, “Control of Intersection Curves Computed with Marching Techniques”, in: Swiss Conference of CAD/CAM, pp. 207-213, Neuchâtel, Suisse, février 1999.[bib]

[1288] M.-E. Bellemare, P. Haigron, A. Lucas, J.-L. Coatrieux, “Depth Map Based Scene Analysis for Active Navigation”, in: Physiology and Function from Multidimensional Images, Chin-Tu Chen, Anne V. Clough, SPIE - Medical Imaging, vol. 3660, pp. 202-213, San Diego, CA, USA, February 1999. communication orale.[bib]

[1289] F. Ben-Hmida, J.M. Olive, J.C Bertrand, “On-Line Failure Detection And Alarm Generation For Production Machines Axes”, in: CESA'98 IMACS Multiconference, IEEE-SMC, Nabeul-Hammamet, Tunisie, 1998.[bib]

[1290] A. Damiba, A. Naamane, N. Giambiasi, “The application of DEVS Formalism with Bond Graphs to the modelling and simulation of mechatronic systems”, in: 4th Japan-France Congress & 2nd Asia-Europe Congress on Mechatronics, Kitakyushu, Japon, 1998.[bib]

[1291] N. Grabsia, E. Chouraqui, J.C. Bertrand, “Human-Machine cooperation in a task programming system”, in: EAM'98, 17th European Annual Conference on Human Decision Making and Manual Control, Valenciennes, France, 1998.[bib]

[1292] N. Grabsia, E. Chouraqui, J.C.Bertrand, “Specifications for a trade-integrating task-programmig system”, in: 4th Japan-France Congress & 2nd Asia-Europe Congress on mEchatronics, vol. 2, pp. 773-776, Kitakyushu, Japon, 1998.[bib]

[1293] N. Grabsia, E. Chouraqui, J.C.Bertrand, “Spécifications d'un système de programmation de tâches intégrant le métier”, in: JTEA'98, 18ème Journées Tunisiennes d'Electronique et d'Automatique, Hamamet, Tunisie, 1998.[bib]

[1294] A. Naamane, C. Day, J.C. Bertrand, “European Mechatronics Vocational Education and Training Programme”, in: 4th Japan-France Congress & 2nd Asia-Europe Congress on Mechatronics, Kitakyushu, Japon, 1998.[bib]

[1295] F. Ounnar, P. Ladet, “Prise en compte du mécanisme de décision dans la modélisation par réseaux de Petri des ateliers manufacturiers : Cas des perturbations du type pannes-machines”, in: CIMASI'98, Deuxième Conférence Internationale sur les Mathématiques Appliquées et les Sciences de l'Ingénieur, pp. 648-653, Casablanca, 1998.[bib]

[1296] J.-L. Paillet, “A Case Study: Specifying an Invoicing System by means of the P-calculus”, in: Proc. of Internat. Workshop on Comparing Systems Specification Techniques, Invoice98, pp. 35-50, Nantes, France, 1998.[bib]

[1297] J.-L. Paillet, N. Giambiasi, “Discrete Event Calculus Model, a hilgh level specification language for discrete event systems”, in: ESS'98, 10th European Simulation Symposium and Exhibition, Nottingham, 1998.[bib]

[1298] J. Perret, N. Giambiasi, “Fault Modelling and Fault Simulation using Statecharts”, in: AVCS, Amiens, 1998.[bib]

[1299] L. Torres, C. Frydman, “Veryfying and Validating Specifications of Knowledge Based Systems”, in: ECAI 98, pp. 83-87, Brighton, 1998.[bib]

[1300] X. Boucher, C. Cerezuela, J.-P. Kieffer, “Industrial Activities Analysis, based on the concept of skill networks, in a concurrent engineering context”, in: INFORMS, Montreal Spring 1998 meeting, Montréal, Canada, 1998.[bib]

page 13 / 14

webmaster