Journal articles on the topic 'Conception et vérification systèmes'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 journal articles for your research on the topic 'Conception et vérification systèmes.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.
Riley, BL, KL Robinson, J. Gamble, DT Finegood, D. Sheppard, TL Penney, and A. Best. "Passer de la connaissance à l’action pour résoudre des problèmes complexes : aperçu de l’examen de neuf cas internationaux." Promotion de la santé et prévention des maladies chroniques au Canada 35, no. 3 (May 2015): 51–58. http://dx.doi.org/10.24095/hpcdp.35.3.01f.
Full textKornblum, Elisabeth. "Etude comparative de différents systèmes de rapports d'auto-évaluation portant sur le respect, par les Etats, de leurs obligations internationales(II)." Revue Internationale de la Croix-Rouge 77, no. 812 (April 1995): 155–82. http://dx.doi.org/10.1017/s0035336100092753.
Full textJovanovic, S., and S. Weber. "Modélisation SystemC-TLM de systèmes à base de processeur." J3eA 18 (2019): 1009. http://dx.doi.org/10.1051/j3ea/20191009.
Full textBoniol, Frédéric, Gérard Bel, and Jérôme Ermont. "Trois approches pour la modélisation et la vérification de systèmes embarqués." Techniques et sciences informatiques 22, no. 5 (May 1, 2003): 539–69. http://dx.doi.org/10.3166/tsi.22.539-569.
Full textNasri, Ohtman, Marie-Anne Lefebvre, Hervé Guéguen, and Janan Zaytoon. "Vérification de sûreté et atteignabilité des systèmes hybrides. Etat de l'art." Journal Européen des Systèmes Automatisés 41, no. 7-8 (December 30, 2007): 855–83. http://dx.doi.org/10.3166/jesa.41.855-883.
Full textWinograd, Terry. "Heidegger et la conception des systèmes informatiques." Intellectica. Revue de l'Association pour la Recherche Cognitive 17, no. 2 (1993): 51–78. http://dx.doi.org/10.3406/intel.1993.1438.
Full textBeaumont, B., A. Simonin, and E. Giguet. "Conception et fabrication des systèmes de chauffage." Revue Générale Nucléaire, no. 1 (January 2007): 62–63. http://dx.doi.org/10.1051/rgn/20071062.
Full textCarluec, Bernard, Michel Lecomte, and Pascal Anzieu. "Les systèmes hybrides - Besoins et principes de conception." Revue Générale Nucléaire, no. 2 (March 1999): 27–31. http://dx.doi.org/10.1051/rgn/19992027.
Full textDEDIEU, B., J. AUBIN, G. DUTEURTRE, G. ALEXANDRE, J. VAYSSIERES, P. BOMMEL, B. FAYE, et al. "Conception et évaluation de systèmes d’élevage durables en régions chaudes." INRAE Productions Animales 24, no. 1 (March 4, 2011): 113–28. http://dx.doi.org/10.20870/productions-animales.2011.24.1.3244.
Full textHalley, Paule. "La vérification environnementale : réflexions sur l'émergence des modes d'autorégulation." Les Cahiers de droit 40, no. 3 (April 12, 2005): 621–43. http://dx.doi.org/10.7202/043563ar.
Full textCOQUIL, X., A. BLOUET, J. L. FIORELLI, C. BAZARD, and J. M. TROMMENSCHLAGER. "Conception de systèmes laitiers en agriculture biologique : une entrée agronomique." INRAE Productions Animales 22, no. 3 (April 17, 2009): 221–34. http://dx.doi.org/10.20870/productions-animales.2009.22.3.3349.
Full textZouinar, Moustafa. "Théories et principes de conception des systèmes d’automesure numériques." Réseaux 216, no. 4 (2019): 83. http://dx.doi.org/10.3917/res.216.0083.
Full textVerdier, Jacques, Guillaume Villemaud, and Jean-Marie Gorce. "Plateforme d'étude et de conception de systèmes de radiocommunications." J3eA 7 (2008): 1022. http://dx.doi.org/10.1051/j3ea:2008021.
Full textLacerda, Gilberto. "La modélisation cognitive de l’étudiant et les systèmes tutoriels intelligents." Articles 19, no. 3 (October 10, 2007): 501–9. http://dx.doi.org/10.7202/031644ar.
Full textBelleval, Christophe, Ioana Deniaud, and Christophe Lerch. "Modèle de gestion des problèmes dans un projet de conception : le cas de la conception des microsatellites." Revue Française de Gestion Industrielle 29, no. 4 (December 1, 2010): 31–47. http://dx.doi.org/10.53102/2010.29.04.639.
Full textPaquette, Gilbert. "L’ingénierie des interactions dans les systèmes d’apprentissage." Articles 25, no. 1 (October 17, 2007): 135–61. http://dx.doi.org/10.7202/031996ar.
Full textCOUDURIER, B., J. L. PEYRAUD, E. BLESBOIS, F. JEULAND, N. URRUTY, C. HUYGHE, and H. GUYOMARD. "Méthodologie d’aide à la conception et à l’évaluation de systèmes de production multiperformants : application à l’élevage de bovins laitiers et à la production de poulets de chair." INRA Productions Animales 28, no. 1 (January 10, 2020): 51–76. http://dx.doi.org/10.20870/productions-animales.2015.28.1.3010.
Full textCafiau, Sybille, Patrick Girard, Laurent Guittet, and Xavier Blanc. "Vérification de cohérence entre modèles de tâches et de dialogue en conception centrée-utilisateur." Ingénierie des systèmes d'information 16, no. 5 (October 30, 2011): 9–41. http://dx.doi.org/10.3166/isi.16.5.9-41.
Full textLoisier, Jean, and Claire Meunier. "Les fonctions communicationnelles des systèmes médiatiques : conception et critères de choix." Articles 19, no. 2 (October 10, 2007): 307–26. http://dx.doi.org/10.7202/031616ar.
Full textMorvan, Gildas, Alexandre Veremme, Daniel Dupont, and Daniel Jolly. "Modélisation et conception multiniveau de systèmes complexes. Stratégie d'agentification des organisations." Journal Européen des Systèmes Automatisés 43, no. 4-5 (May 30, 2009): 381–406. http://dx.doi.org/10.3166/jesa.43.381-406.
Full textRouet, Jean-François. "Interactivité et compatibilité cognitive dans les systèmes hypermédias." Articles 25, no. 1 (October 17, 2007): 61–85. http://dx.doi.org/10.7202/031994ar.
Full textRached, Miloud, Odile Nasr, Jean-Paul Bodeveix, and Mamoun Filali. "Une extension temporisée de la méthode B pour la spécification et la vérification des systèmes temps-réel." Journal Européen des Systèmes Automatisés 42, no. 9 (November 19, 2008): 1061–84. http://dx.doi.org/10.3166/jesa.42.1061-1084.
Full textGrisolia, J., S. Lachaize, J.-L. Noullet, A. Biganzoli, C. Rouabhi, R. Tan, F. Guérin, et al. "Systèmes intelligents pour l'internet des objets." J3eA 18 (2019): 1020. http://dx.doi.org/10.1051/j3ea/20191020.
Full text-Alali, Oussama. "Spécification et modélisation VHDL-AMS pour la conception de systèmes multi-technologies." Revue de l'Electricité et de l'Electronique -, no. 04 (1998): 75. http://dx.doi.org/10.3845/ree.1998.039.
Full textWILFART, A., M. S. CORSON, and J. AUBIN. "La méthode EMERGY : principes et application en analyse environnementale des systèmes agricoles et de production animale." INRAE Productions Animales 25, no. 1 (March 31, 2012): 57–66. http://dx.doi.org/10.20870/productions-animales.2012.25.1.3197.
Full textGodet-Bar, Guillaume, David Juras, Sophie Dupuy-Chessa, and Dominique Rieu. "Vers une méthode de conception de systèmes mixtes. Principes et mise en œuvre." Ingénierie des systèmes d'information 12, no. 6 (December 31, 2007): 39–66. http://dx.doi.org/10.3166/isi.12.6.36-66.
Full textGuimier-Sorbets, Anne-Marie. "Apport des technologies multimédias pour la conception de systèmes d'information historique et archéologique." Classica - Revista Brasileira de Estudos Clássicos 7 (December 5, 1995): 349–56. http://dx.doi.org/10.24277/classica.v7i0.682.
Full textSt-Denis, Richard, and Pierre Robillard. "Les Outils Logiciels De Conception De SystèMes Informatiques: Concepts De Base Et ProblèMes." INFOR: Information Systems and Operational Research 26, no. 2 (January 1988): 127–52. http://dx.doi.org/10.1080/03155986.1988.11732059.
Full textBoldrini, Jean-Claude. "Le rythme implacable de l'innovation est-il gouverné par des lois d’évolution internes aux objets ?" Revue Française de Gestion Industrielle 31, no. 1 (March 1, 2012): 107–31. http://dx.doi.org/10.53102/2012.31.01.649.
Full textFréchet, Guy. "Professionnalisme et tentations corporatistes chez les informaticiens." Recherche 34, no. 1 (April 12, 2005): 89–110. http://dx.doi.org/10.7202/056739ar.
Full textBerthier, E., J. S. Finck, A. Le Gall, R. Wagner, A. Gérolin, A. Khalifa, F. Bouillaguet, O. Warusfel, J. C. De Bortoli, and L. Anstett. "Retour d’expériences national sur les bassins d’orage en réseau unitaire." Techniques Sciences Méthodes, no. 5 (May 2019): 137–54. http://dx.doi.org/10.1051/tsm/201905137.
Full textBéguin, Pascal. "Conception et santé : quelques remarques sur le statut de l’activité de travail dans la conception des systèmes de production." Psychologie du Travail et des Organisations 14, no. 4 (2008): 369–84. http://dx.doi.org/10.1016/s1420-2530(16)30198-4.
Full textCoutu, Michel. "Le Pluralisme juridique chez Gunther Teubner: La nouvelle guerre des dieux?" Canadian journal of law and society 12, no. 02 (1997): 93–113. http://dx.doi.org/10.1017/s0829320100005378.
Full textAit Said, N., M. Benabdenbi, and G. Villanova Magalhães. "Prototypage Matériel-Logiciel de Systèmes Intégrés avec l'architecture RISC-V." J3eA 18 (2019): 1016. http://dx.doi.org/10.1051/j3ea/20191016.
Full textWilss, Wolfram. "Basic Concepts of MT." Meta 38, no. 3 (September 30, 2002): 403–13. http://dx.doi.org/10.7202/004608ar.
Full textGirard, Nathalie, Frédéric Goulet, Frédérique Jankowski, Cécile Fiorelli, Laurence Fortun-Lamothe, Pierre Martin, Lorène Prost, and Françoise Vertès. "Produire des connaissances pour et sur la transformation des systèmes agricoles. Retours sur une école-chercheurs interdisciplinaire." Natures Sciences Sociétés 25, no. 3 (July 2017): 276–84. http://dx.doi.org/10.1051/nss/2017055.
Full textDemeuse, Marc, Natacha Duroisin, Sabine Soetewey, and Antoine Derobertmasure. "L’efficacité et l’équité des systèmes éducatifs sous l’angle du curriculum prescrit dans une approche par compétence Regard sur la situation belge francophone." Swiss Journal of Educational Research 37, no. 3 (September 19, 2018): 443–62. http://dx.doi.org/10.24452/sjer.37.3.4962.
Full textDUMOUCHEL, DANIEL. "«Hommes de nulle secte». Éclectisme et refus des systèmes chez Jean Bernard Mérian." Dialogue 57, no. 4 (December 2018): 745–65. http://dx.doi.org/10.1017/s001221731800063x.
Full textINGRAND, S., and B. DEDIEU. "Numéro spécial : Quelles innovations pour quels systèmes d'élevage ?" INRAE Productions Animales 27, no. 2 (June 1, 2014): 75–76. http://dx.doi.org/10.20870/productions-animales.2014.27.2.3055.
Full textLeroux, Marie-Louise, Pierre Pestieau, and Grégory Ponthière. "Longévité différentielle et redistribution : enjeux théoriques et empiriques." L'Actualité économique 91, no. 4 (August 9, 2016): 465–97. http://dx.doi.org/10.7202/1037210ar.
Full textPrujiner, Alain. "La personnalité morale et son rattachement en droit international privé." Les Cahiers de droit 31, no. 4 (April 12, 2005): 1049–73. http://dx.doi.org/10.7202/043054ar.
Full textMcWhinney, Edward. "The “New Thinking” in Soviet International Law: Soviet Doctrines and Practice in the Post-Tunkin Era." Canadian Yearbook of international Law/Annuaire canadien de droit international 28 (1991): 309–37. http://dx.doi.org/10.1017/s0069005800004148.
Full textPlénet, Daniel, and Sylvaine Simon. "Une démarche de conception et d’évaluation de systèmes de culture pour des vergers plus durables." Sciences Eaux & Territoires Numéro 16, no. 1 (2015): 58. http://dx.doi.org/10.3917/set.016.0058.
Full textHarvey, Pierre-Léonard. "La connaissance au-delà du savoir à l’ère des inforoutes : de la diffusion de l’information à la création du sens dans les bibliothèques virtuelles." Documentation et bibliothèques 48, no. 1 (May 15, 2015): 5–9. http://dx.doi.org/10.7202/1030467ar.
Full textLIÉNARD, G., P. CORDONNIER, and J. P. BOUTONNET. "Exploitations et systèmes de production d’herbivores. Importance, évolution, questions." INRAE Productions Animales 5, no. 1 (February 28, 1992): 59–85. http://dx.doi.org/10.20870/productions-animales.1992.5.1.4222.
Full textSÉVIGNY, Robert. "Santé mentale et processus sociaux." Sociologie et sociétés 17, no. 1 (September 30, 2002): 5–14. http://dx.doi.org/10.7202/001697ar.
Full textAndrieu, Nadine, Eduardo Chia, and Eric Vall. "Recherche et innovations dans les exploitations de polyculture-élevage d’Afrique de l’Ouest Quelles méthodes pour évaluer les produits de la recherche ?" Revue d’élevage et de médecine vétérinaire des pays tropicaux 64, no. 1-4 (January 1, 2011): 7. http://dx.doi.org/10.19182/remvt.10116.
Full textHubert, Bernard, Florence Jacquet, Emmanuelle Lemaire, Jean-Marc Guehl, and Christian Valentin. "Le programme ANR Agrobiosphère : l'importance d'une programmation thématique pour l'émergence de nouveaux concepts." Natures Sciences Sociétés 25, no. 3 (July 2017): 285–94. http://dx.doi.org/10.1051/nss/2017056.
Full textKechidi, Med. "La théorie de la structuration." Articles 60, no. 2 (December 6, 2005): 348–69. http://dx.doi.org/10.7202/011725ar.
Full textSelouani, Sid-Ahmed. "Un système à base de connaissances pour une communication parlée personne-système multilingue." Revue de l'Université de Moncton 36, no. 2 (February 1, 2007): 53–84. http://dx.doi.org/10.7202/014499ar.
Full text