Articles de revues sur le sujet « Vérification de modèles bornés »
Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres
Consultez les 16 meilleurs articles de revues pour votre recherche sur le sujet « Vérification de modèles bornés ».
À côté de chaque source dans la liste de références il y a un bouton « Ajouter à la bibliographie ». Cliquez sur ce bouton, et nous générerons automatiquement la référence bibliographique pour la source choisie selon votre style de citation préféré : APA, MLA, Harvard, Vancouver, Chicago, etc.
Vous pouvez aussi télécharger le texte intégral de la publication scolaire au format pdf et consulter son résumé en ligne lorsque ces informations sont inclues dans les métadonnées.
Parcourez les articles de revues sur diverses disciplines et organisez correctement votre bibliographie.
Kamsu-Foquem, Bernard, Vincent Chapurlat et François Prunet. « Vérification de modèles de processus d'entreprise : une approche formelle ». Journal Européen des Systèmes Automatisés 39, no 9-10 (30 décembre 2005) : 1051–78. http://dx.doi.org/10.3166/jesa.39.1051-1078.
Texte intégralTorres, Lucile, et Claudia Frydman. « Vérification et validation de modèles CommonKADS par réseaux de Petri ». Revue d'intelligence artificielle 15, no 2 (15 juin 2001) : 247–76. http://dx.doi.org/10.3166/ria.15.247-276.
Texte intégralGillet, Roland. « Efficience informationnelle du marché boursier : vérification empirique et implications théoriques ». Recherches économiques de Louvain 57, no 3 (1991) : 297–308. http://dx.doi.org/10.1017/s0770451800031778.
Texte intégralGauthier, Yvon. « Vérité et vérification en logique mathématique et dans les théories physiques ». Articles 9, no 1 (9 janvier 2007) : 135–45. http://dx.doi.org/10.7202/203186ar.
Texte intégralRougier, É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, no 4 (2000) : 31–59. http://dx.doi.org/10.3406/ecoap.2000.1741.
Texte intégralJellad, 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, no 4 (2023) : 403. http://dx.doi.org/10.1051/mattech/2023029.
Texte intégralCafiau, Sybille, Patrick Girard, Laurent Guittet et 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 (30 octobre 2011) : 9–41. http://dx.doi.org/10.3166/isi.16.5.9-41.
Texte intégralHarnois, Claudie, Karine Picard, Sébastien Rivard, Jean-François Tremblay et Éric Gosselin. « La dynamique du stress au travail est-elle transactionnelle ? » Ad machina, no 4 (26 février 2021) : 75–90. http://dx.doi.org/10.1522/radm.no4.1245.
Texte intégralTidjani, A. E. B., D. Yebdri, J. C. Roth et 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, no 4 (17 janvier 2007) : 315–24. http://dx.doi.org/10.7202/014418ar.
Texte intégralRaffestin, Claude. « Espace, temps, frontière ». Cahiers de géographie du Québec 18, no 43 (12 avril 2005) : 23–34. http://dx.doi.org/10.7202/021174ar.
Texte intégralOhmaid, Hicham, S. Eddarouich, A. Bourouhou et 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, no 3 (1 septembre 2020) : 429. http://dx.doi.org/10.11591/ijai.v9.i3.pp429-438.
Texte intégralHEITZ, Thomas. « Vérification et validation de modèles non linéaires en génie civil ». Les superstructures du bâtiment, novembre 2022. http://dx.doi.org/10.51257/a-v1-c6006.
Texte intégralLachaume, Thomas, Laurent Guittet, Patrick Girard et Allan Fousse. « Task model simulators : a review ». Journal d'Interaction Personne-Système Volume 3, Issue 3, Special..., Special issue on Task Models (22 juillet 2015). http://dx.doi.org/10.46298/jips.1240.
Texte intégralAraba, Mabrouk, et 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.
Texte intégralCuadrado, Jérôme, et 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.
Texte intégralNewman, Paula, Sammu Dhaliwall, Olena Polyakova et 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, no 3 (5 juillet 2021). http://dx.doi.org/10.4212/cjhp.v74i3.3153.
Texte intégral