Artículos de revistas sobre el tema "Vérification de modèles bornés"
Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros
Consulte los 16 mejores artículos de revistas para su investigación sobre el tema "Vérification de modèles bornés".
Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.
También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.
Explore artículos de revistas sobre una amplia variedad de disciplinas y organice su bibliografía correctamente.
Kamsu-Foquem, Bernard, Vincent Chapurlat y François Prunet. "Vérification de modèles de processus d'entreprise : une approche formelle". Journal Européen des Systèmes Automatisés 39, n.º 9-10 (30 de diciembre de 2005): 1051–78. http://dx.doi.org/10.3166/jesa.39.1051-1078.
Texto completoTorres, Lucile y Claudia Frydman. "Vérification et validation de modèles CommonKADS par réseaux de Petri". Revue d'intelligence artificielle 15, n.º 2 (15 de junio de 2001): 247–76. http://dx.doi.org/10.3166/ria.15.247-276.
Texto completoGillet, Roland. "Efficience informationnelle du marché boursier: vérification empirique et implications théoriques". Recherches économiques de Louvain 57, n.º 3 (1991): 297–308. http://dx.doi.org/10.1017/s0770451800031778.
Texto completoGauthier, Yvon. "Vérité et vérification en logique mathématique et dans les théories physiques". Articles 9, n.º 1 (9 de enero de 2007): 135–45. http://dx.doi.org/10.7202/203186ar.
Texto completoRougier, Éric. "Croissance démographique, capital humain et technologie : un modèle de croissance endogène «simonien» appliqué aux pays en développement". Économie appliquée 53, n.º 4 (2000): 31–59. http://dx.doi.org/10.3406/ecoap.2000.1741.
Texto completoJellad, Asma. "Identification des propriétés élastoplastiques des films minces de CrN en utilisant la technique de nanoindentation et la modélisation par éléments finis (FEM)". Matériaux & Techniques 111, n.º 4 (2023): 403. http://dx.doi.org/10.1051/mattech/2023029.
Texto completoCafiau, Sybille, Patrick Girard, Laurent Guittet y 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, n.º 5 (30 de octubre de 2011): 9–41. http://dx.doi.org/10.3166/isi.16.5.9-41.
Texto completoHarnois, Claudie, Karine Picard, Sébastien Rivard, Jean-François Tremblay y Éric Gosselin. "La dynamique du stress au travail est-elle transactionnelle?" Ad machina, n.º 4 (26 de febrero de 2021): 75–90. http://dx.doi.org/10.1522/radm.no4.1245.
Texto completoTidjani, A. E. B., D. Yebdri, J. C. Roth y Z. Derriche. "Exploration des séries chronologiques d’analyse de la qualité des eaux de surface dans le bassin de la Tafna (Algérie)". Revue des sciences de l'eau 19, n.º 4 (17 de enero de 2007): 315–24. http://dx.doi.org/10.7202/014418ar.
Texto completoRaffestin, Claude. "Espace, temps, frontière". Cahiers de géographie du Québec 18, n.º 43 (12 de abril de 2005): 23–34. http://dx.doi.org/10.7202/021174ar.
Texto completoOhmaid, Hicham, S. Eddarouich, A. Bourouhou y M. Timouya. "Comparison between SVM and KNN classifiers for iris recognition using a new unsupervised neural approach in segmentation". IAES International Journal of Artificial Intelligence (IJ-AI) 9, n.º 3 (1 de septiembre de 2020): 429. http://dx.doi.org/10.11591/ijai.v9.i3.pp429-438.
Texto completoHEITZ, Thomas. "Vérification et validation de modèles non linéaires en génie civil". Les superstructures du bâtiment, noviembre de 2022. http://dx.doi.org/10.51257/a-v1-c6006.
Texto completoLachaume, Thomas, Laurent Guittet, Patrick Girard y Allan Fousse. "Task model simulators: a review". Journal d'Interaction Personne-Système Volume 3, Issue 3, Special..., Special issue on Task Models (22 de julio de 2015). http://dx.doi.org/10.46298/jips.1240.
Texto completoAraba, Mabrouk y Said Mazouz. "Apports de la syntaxe spatiale à la vérification de l’intégration d’un quartier d’habitat spontané dans le système urbain". Bulletin de la Société Royale des Sciences de Liège, 2018, 121–35. http://dx.doi.org/10.25518/0037-9565.8234.
Texto completoCuadrado, Jérôme y Grégory Michel. "Dysmorphie musculaire et pratiques problématiques de l’activité physique dans une population d’étudiants sportifs. Le rôle de l’alexithymie, du sentiment d’auto-efficacité dans la régulation de l’alimentation et l’acceptation de son image corporelle". Movement & Sport Sciences - Science & Motricité, 2023. http://dx.doi.org/10.1051/sm/2023020.
Texto completoNewman, Paula, Sammu Dhaliwall, Olena Polyakova y Kevin McDonald. "Pharmacy Distribution, Clinical, and Management Services: A Survey of Small Hospitals in Canada Supported by Telepharmacy Services". Canadian Journal of Hospital Pharmacy 74, n.º 3 (5 de julio de 2021). http://dx.doi.org/10.4212/cjhp.v74i3.3153.
Texto completo