Academic literature on the topic 'Vérification de contrôle'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Vérification de contrôle.'
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.
Journal articles on the topic "Vérification de contrôle"
1
Depecker, Loïc. "Cinq notions de télédétection aérospatiale : un exemple de structuration d’un champ terminologique." Meta 34, no. 2 (2002): 280–84. http://dx.doi.org/10.7202/002537ar.
Full textAbstract:
Résumé Le point de départ de la structuration du champ terminologique est le problème posé par le terme angloaméricain ground control point dans le domaine de la télédétection aérospatiale. Le calque courant point de contrôle est en fait l'équivalent français avec point de vérification, de checkpoint. Ce mauvais usage du terme point de contrôle incite à définir rigoureusement les concepts français auxquels correspond ground control point: point d'appui et point de canevas, termes correspondant à deux notions distinctes par lesquelles ground control point se traduit en français; point de repère et amer qui entrent dans la sphère de ces notions; et enfin point de vérification et son synonyme correct point de contrôle. Ces cinq notions sont analysées ici comme constituant un champ terminologique.
2
Bouissou, Olivier. "Vérification partielle de programmes de contrôle-commande par interprétation abstraite." Techniques et sciences informatiques 31, no. 3 (2012): 337–73. http://dx.doi.org/10.3166/tsi.31.337-373.
Full text
3
Martin, Etienne, Patrice Jardet, and Francis Pons. "Vérification et caractérisation des capteurs et des chaînes de contrôle." Revue Générale Nucléaire, no. 2 (March 1990): 110–15. http://dx.doi.org/10.1051/rgn/19902110.
Full text
4
Tremblay, Marie-Soleil, and Bertrand Malsch. "L’explosion de l’audit dans le secteur public : le risque d’une illusion de contrôle." Télescope 18, no. 3 (2013): 1–7. http://dx.doi.org/10.7202/1013772ar.
Full textAbstract:
La gestion des administrations publiques fondée sur les résultats et la transparence est employée fréquemment par les politiciens et les fonctionnaires comme une façon de promouvoir l’efficacité et les idéaux de réforme destinés à transformer les organisations du secteur public (Hood, 1995, 1990). Le présent essai porte un regard critique sur l’explosion des pratiques de vérification au sein des organisations du secteur public afin de mieux comprendre comment ces changements ont été introduits dans les organisations publiques, de s’interroger sur leurs possibles effets involontaires et de souligner les risques d’une illusion de contrôle.
5
Laflamme, Gaston, and Robert Blais. "Vérification de la qualité des travaux de contrôle du chancre scléroderrien en plantation." Forestry Chronicle 64, no. 1 (1988): 12–17. http://dx.doi.org/10.5558/tfc64012-1.
Full textAbstract:
Observations on the quality of interventions against the scleroderris canker were noted in 22 7- to 15-year-old red pine plantations located in the Ottawa region. Eight peculiarities have been identified for supervision during investigations. Verification of the quality of work is a necessary step towards successful interventions. Key words: Gremmeniella abietina, Pinus resinosa, Pruning, Ascocalyx abietina.
6
Savoie, Donat, and Madeleine Jacques. "Problèmes posés par le nombre restreint de patronymes dans le traitement des généalogies." Notes de recherches 13, no. 1 (2005): 139–47. http://dx.doi.org/10.7202/055563ar.
Full textAbstract:
L'utilisation des ordinateurs par les chercheurs en sciences humaines et sociales offre des possibilités énormes. L'un des domaines dans lesquels l'application de l'informatique se révèle la plus prometteuse est l'étude socio-démographique et généalogique de communautés humaines. Lorsque la population est nombreuse et le recul historique suffisamment lointain, la quantité d'informations à manipuler est telle qu'il est impensable de pouvoir analyser les données à la main et que l'appel au concours de l'informatique devient indispensable. Dans un article récent, la méthode générale et les premiers résultats obtenus à propos de la paroisse de Bois-Vert ont été décrits. Les auteurs insistaient déjà sur la nécessité d'entrer en machine des informations aussi exemptes d'erreur que possible. C'est ainsi que les opérations de numérotation des individus et de la codification des lieux se font en laboratoire. Après vérification sur carte IBM, un triple contrôle manuel est effectué. Un programme spécial de vérification a été mis au point au Centre de calcul de l'Université de Montréal permettant de dépister des erreurs (absence d'information) ou des incompatibilités qui auraient pu échapper à la vérification manuelle (programme P0PI). L'ensemble de ces opérations est d'une durée variable suivant les caractéristiques des communautés, notamment leur effectif et la profondeur historique ; elles durent toujours plusieurs mois et occupent plusieurs techniciens. Le but du présent texte est d'insister sur une difficulté particulière rencontrée à propos d'une communauté, difficulté à laquelle on se heurte souvent dans les travaux généalogiques : le nombre restreint de patronymes.
7
Zarifian, Philippe. "Le contrôle du travail : de la vérification de la conformité des opérations au blocage des initiatives." Annales des Mines - Réalités industrielles Février 2011, no. 1 (2011): 22. http://dx.doi.org/10.3917/rindu.111.0022.
Full text
8
Daugeron, Bruno. "Le contrôle des élections parlementaires avant le Conseil constitutionnel : la « vérification des pouvoirs », histoire et théorie." Les Nouveaux Cahiers du Conseil constitutionnel N° 41, no. 4 (2013): 17–31. http://dx.doi.org/10.3917/nccc1.041.0017.
Full text
9
Drewry, Gavin. "La complémentarité entre la vérification et le contrôle judiciaire: le scandale « Homes for Votes » au Royaume-Uni." Revue Internationale des Sciences Administratives 71, no. 3 (2005): 397. http://dx.doi.org/10.3917/risa.713.0397.
Full text
10
Berthereau, Daniel. "Le contrôle d'une entreprise concessionnaire par la Commission de vérification des comptes des entreprises publiques : le cas du tunnel du Mont-Blanc (1965-1971)." Entreprises et histoire 38, no. 1 (2005): 84. http://dx.doi.org/10.3917/eh.038.0084.
Full textDissertations / Theses on the topic "Vérification de contrôle"
1
Xie, Yuchen. "Modélisation et Vérification Formelles de Systèmes de Contrôle de Trains." Thesis, Ecole centrale de Lille, 2019. http://www.theses.fr/2019ECLI0001.
Full textAbstract:
Le degré d'automatisation des systèmes de contrôle ferroviaire est en constante augmentation. Les industriels ferroviaires ont besoin d'un niveau accru de sécurité et de fiabilité pour remplacer les conducteurs par des systèmes de contrôle automatique des trains (ATC). Cependant, la complexité du système est également fortement augmentée par l'intégration des fonctions automatiques, ce qui rend difficile l'analyse de ces systèmes.Différentes méthodes de modélisation peuvent être utilisées pour construire les modèles du système au niveau d'abstraction approprié. Les méthodes de modélisation formelles et les méthodes de vérification formelles fournissent un cadre crucial pour assurer les propriétés de sécurité et de fiabilité. Les Réseaux de Petri constituent un outil formel approprié à la modélisation et à la vérification de systèmes critiques comme les systèmes de contrôle automatique du ferroviaire. Dans cette thèse, nous utilisons plus particulièrement les réseaux de Pétri colorés (CPNs) de Jensen pour exploiter la modularité et la hiérarchisation pour la modélisation et la vérification d’un système de grande taille<br>The automation degree of railway control systems is constantly increasing. Railway industry needs the enhanced level of safety and reliability guarantee to replace the drivers by Automatic Train Control (ATC) systems. However, the system complexity is also heavily increased by the integration of automatic functions, which has caused the difficulty to analyze these systems.Different modeling methods can be used to build the system models at the appropriate level of abstraction. Formal modeling methods and formal verification methods can provide crucial support to ensure safety and reliability properties. Petri Nets are a suitable tool for modeling and verifying critical systems such as automatic train control systems. In this thesis, we use more specifically Colored Petri Nets (CPNs) to exploit modularity and hierarchization for the modeling and verification of a large-scale system
2
Jovanovic, Aleksandra. "Vérification parametrée de systèmes temporisés." Ecole centrale de Nantes, 2013. http://www.theses.fr/2013ECDN0036.
Full textAbstract:
Dans cette thèse, nous étudions la vèrification formelle des systèmes avec des contraintes temporelles. Comme formalisme pour la modélisation et l’analyse de ces systèmes, nous utilisons les automates temporisés. Le model-checking est une méthode de vérification formelle qui vérifie automatiquement si un modèle d’un système donné satisfait une propriété. Cependant, cette méthode nécessite une connaissance complète du système, ce qui est souvent difficile dans les premiers stades de la conception. L’approche paramétrique est un moyen de résoudre ce problème et d’augmenter la robustesse de la conception. Nous étudions les automates temporisés paramétrés, un modèle qui permet l’utilisation d’expressions paramétriques au lieu de valeurs temporelles concrètes dans le modèle. Nous offrons de nouveaux résultats de décidabilité négatifs concernant les propriétés d’accessibilité et d’inévitabilité. Nous proposons alors une nouvelle approche, dans laquelle nous limitons les valeurs des paramètres à des entiers bornés et nous proposons des algorithmes symboliques pour la synthèse de paramètres basée sur le calcul de l’enveloppe entière des états symboliques. Ces algorithmes sont implémentés dans notre outil Roméo. Nous étudions ensuite les jeux temporisés, un modèle utilisé pour les problèmes de contrôle sur des systèmes temps réel et proposons leur paramétrisation. Nous offrons une sous-classe pour laquelle le jeu d’accessibilité est décidable et un algorithme pour le calcul des états gagnants et la synthèse des paramètres<br>In this thesis we are studying formal verification of systems with timing constraints. As a formalism for modeling and analyzing such systems, we are using timed automata. Model-checking is a formal verification method that automatically verifies whether the model of the system satisfies some property. This method, however, requires complete knowledge of the system, which is often difficult to provide in the early design stages. Parametric approach is a way to address this issue and to increase the robustness of the design. We study parametric timed automata, a model that allows the use of parametric expressions instead of concrete timing values in the model. We offer new negative decidability results concerning reachability and unavoidability properties. We then propose a novel approach, we restrict parameter values to bounded integers and offer symbolic algorithms for parameter synthesis based on the computation of the integer hull of symbolic states. These algorithms are implemented in our tool Roméo. We then study timed game automata, a model used for control problems on real-times systems and propose its parametrization. We offer a subclass for which the reachability game is decidable and an algorithm for the computation of winning states and parameter synthesis. Finally, we study a parametric version of interrupt timed automata, a subclass of hybrid automata that uses stopwatches. We prove that the reachability problem is decidable without any restrictions and we give the complexity bounds
3
Quinton, Sophie. "Design, vérification et implémentation de systèmes à composants." Phd thesis, Université de Grenoble, 2011. http://tel.archives-ouvertes.fr/tel-00685854.
Full textAbstract:
Nous avons étudié dans le cadre de cette thèse le design, la vérification et l'implémentation des systèmes à composants. Nous nous sommes intéressés en particulier aux formalismes exprimant des interactions complexes, dans lesquels les connecteurs servent non seulement au transfert de données mais également à la synchronisation entre composants. 1. DESIGN ET VÉRIFICATION Le design par contrat est une approche largement répandue pour développer des systèmes lorsque plusieurs équipes travaillent en parallèle. Les contrats représentent des contraintes sur les implémentations qui sont préservées tout au long du développement et du cycle de vie d'un système. Ils peuvent donc servir également à la phase de vérification d'un tel système. Notre but n'est pas de proposer un nouveau formalisme de spécification, mais plutôt de définir un ensemble minimal de propriétés qu'une théorie basée sur les contrats doit satisfaire pour permettre certains raisonnements. En cela, nous cherchons à séparer explicitement les propriétés spécifiques à chaque formalisme de spécification et les règles de preuves génériques. Nous nous sommes attachés à fournir des définitions suffisamment générales pour exprimer un large panel de langages de spécification, et plus particulièrement ceux dans lesquels les interactions sont complexes, tels que Reo ou BIP. Pour ces derniers, raisonner sur la structure du système est essentiel et c'est pour cette raison que nos contrats ont une partie structurelle. Nous montrons comment découle de la propriété nommée raisonnement circulaire une règle pour prouver la dominance sans composer les contrats, et comment cette propriété peut être affaiblie en utilisant plusieurs relations de raffinement. Notre travail a été motivé par les langages de composants HRC L0 et L1 définis dans le projet SPEEDS. 2. IMPLÉMENTATION Synthétiser un contrôleur distribué imposant une contrainte globale sur un système est dans le cas général un problème indécidable. On peut obtenir la décidabilité en réduisant la concurrence: nous proposons une méthode qui synchronise les processus de façon temporaire. Dans les travaux de Basu et al., le contrôle distribué est obtenu en pré-calculant par model checking la connaissance de chaque processus, qui reflète dans un état local donné toutes les configurations possibles des autres processus. Ensuite, à l'exécution, le contrôleur local d'un processus décide si une action peut être exécutée sans violer la contrainte globale. Nous utilisons de même des techniques de model checking pour pré-calculer un ensemble minimal de points de synchronisation au niveau desquels plusieurs processus partagent leur connaissance au court de brèves périodes de coordination. Après chaque synchronisation, les processus impliqués peuvent de nouveau progresser indépendamment les uns des autres jusqu'à ce qu'une autre synchronisation ait lieu. Une des motivations pour ce travail est l'implémentation distribuée de systèmes BIP.
4
Huynh, Nghi. "Vérification et validation de politiques de contrôle d'accès dans le domaine médical." Thesis, Paris Est, 2016. http://www.theses.fr/2016PESC1042/document.
Full textAbstract:
Dans le domaine médical, la numérisation des documents et l’utilisation des dossiers patient électroniques (DPE, ou en anglais EHR pour Electronic Health Record) offrent de nombreux avantages, tels que le gain de place ou encore la facilité de recherche et de transmission de ces données. Les systèmes informatiques doivent reprendre ainsi progressivement le rôle traditionnellement tenu par les archivistes, rôle qui comprenait notamment la gestion des accès à ces données sensibles. Ces derniers doivent en effet être rigoureusement contrôlés pour tenir compte des souhaits de confidentialité des patients, des règles des établissements et de la législation en vigueur. SGAC, ou Solution de Gestion Automatisée du Consentement, a pour but de fournir une solution dans laquelle l’accès aux données du patient serait non seulement basée sur les règles mises en place par le patient lui-même mais aussi sur le règlement de l’établissement et sur la législation. Cependant, cette liberté octroyée au patient est source de divers problèmes : conflits, masquage des données nécessaires aux soins ou encore tout simplement erreurs de saisie. C’est pour cela que la vérification et la validation des règles d’accès sont cruciales : pour effectuer ces vérifications, les méthodes formelles fournissent des moyens fiables de vérification de propriétés tels que les preuves ou la vérification de modèles.Cette thèse propose des méthodes de vérification adaptées à SGAC pour le patient : elle introduit le modèle formel de SGAC, des méthodes de vérifications de propriétés telles l’accessibilité aux données ou encore la détection de document inaccessibles. Afin de mener ces vérifications de manière automatisée, SGAC est modélisé en B et Alloy ; ces différentes modélisations donnent accès aux outils Alloy et ProB, et ainsi à la vérification automatisée de propriétés via la vérification de modèles ou model checking<br>In healthcare, data digitization and the use of the Electronic Health Records (EHR) offer several benefits, such as reduction of the space occupied by data, or the ease of data search or data exchanges. IT systems must gradually act as the archivists who manage the access over sensitive data. Those have to be checked to be consistent with patient privacy wishes, hospital rules, and laws and regulations.SGAC, or Solution de Gestion Automatisée du Consentement, aims to offer a solution in which access to patient data would be based on patient rules, hospital rules and laws. However, the freedom granted to the patient can cause several problems: conflicts, hiding of the needed data to heal the patient or simply data-capture error. Therefore, verification and validation of policies are crucial: to conduct this verification, formal methods provide reliable ways to verify properties like proofs or model checking.This thesis provides verification methods applied on SGAC for the patient: it introduces the formal model of SGAC, verification methods of properties such as data reachability or hidden data detection. To conduct those verification in an automated way, SGAC is modelled in B and Alloy; these different models provide access to the tools Alloy and ProB, and thus, automated property verification with model checking
5
Ebondo, Wa Mandzila Eustache. "La contribution du contrôle interne et de l'audit au gouvernement d'entreprise." Paris 12, 2004. http://www.theses.fr/2004PA123005.
Full textAbstract:
Assimilant la direction des sociétés managériales notamment au gouvernement d'une nation, un courant de recherche s'est attaché à réfléchir puis à préconiser les mécanismes de contrôle interne et externe comme remèdes pour limiter les comportements opportunistes des agents. Après avoir présenté les limites de ces mécanismes, la première partie de la thèse s'attache à considérer le contrôle interne et l'audit comme deux mécanismes de régulation des comportements des différents stakeholders dans leurs relations avec l'entreprise. La contribution du contrôle interne et de l'audit au gouvernement d'entreprise est examinée à la lumière de la théorie de l'agence et des coûts de transaction. Dans la deuxième partie, l'analyse des données recueillies, à partir d'une étude terrain, vient valider les hypothèses émises selon lesquelles, le contrôle interne et l'audit contribuent au règlement des conflits dans un gouvernement d'entreprise<br>Assimilating the management of managerial corporations to the governing of a nation, some researchers have focused their studies on developing their research and then recommending the mechanisms of internal and external control as remedies to limit the opportunistic behaviours of agents. After introducing the limits of these mechanisms, the first part of the thesis will focus on considering the internal control and audit as two mechanisms capable of regulating the behaviours of different stakeholders in their relations with the corporations. The contribution of the internal control and audit to the management of a corporation is considered through agency theory and transactions costs. In the second part, the analysis of data collected during a field study validates the hypotheses put forward according to which the internal control and audit contribute towards resolving conflicts in corporate governance
6
Thion, Romuald. "Structuration relationnelle des politiques de contrôle d'accès : représentation, raisonnement et vérification logiques." Lyon, INSA, 2008. http://theses.insa-lyon.fr/publication/2008ISAL0028/these.pdf.
Full textAbstract:
Le contrôle d'accès est le mécanisme qui définit et impose ce qu'il est permis et interdit de faire dans un système. Les politiques de contrôle d'accès sont des ensembles de faits et règlements structurés selon des modèles. Depuis l'initiative des modèles à rôles, de nombreuses générations d'organisation des droits d'accès ont vu le jour. Les politiques et les modèles sont ainsi devenus plus grands, plus complexes et soulèvent de nombreux problèmes de formalisation, de vérification et d'administration. La thèse montre que les modèles de contrôle d'accès existants partagent de nombreux traits. Après avoir analysé et synthétisé ces éléments communs, nous proposons une structuration relationnelle pour concevoir, organiser et formaliser les droits d'accès. L'approche est fondée sur les dépendances de données : des classes de formules logiques qui imposent des contraintes sur les données relationnelles. L'approche met à profit des résultats qui dépassent le cadre strict du modèle relationnel et résolvent des problèmes actuels d'expression, de vérification et de raisonnement sur les politiques de contrôle d'accès. Un des problèmes majeurs que nous abordons est de s'assurer qu'une politique est intègre, qu'elle satisfait bien aux propriétés imposées par le modèle. La thèse met à profit des ponts existants entre les dépendances et des domaines de recherche connexes. Nous proposons ainsi une représentation permettant d'exprimer graphiquement les modèles ainsi qu'une méthode semi-automatisée pour assister la réorganisation de politiques existantes. Les récentes applications des dépendances de données offrent de riches perspectives d'applications au contrôle d'accès<br>Access control is a mechanism which defmes and controls the privileges of users in a system. Nowadays, it is one of the most common and pervasive mechanisms used for security enforcement in information systems. Access control policies are sets of facts and rules organized by mean of access control models. Sin ce the role-based access control initiative, several access control models have been proposed in the literature. The policies and models have become larger and more complex, and several issues on formalization, verification and administration have appeared. The PhD thesis shows that access control models share common characteristics. Upon analysis and synthesis of these traits, we propose a relational structuration for the design, organization and formalization of privileges. The framework is built upon data dependencies: fragments of first-order logic dedicated to express constraints between relational data. Some results from the data bases community benefit the approach by helping address current issues on expression, verification, and reasoning on access control policies. We focus particularly on the integrity property ofpolicies: guaranteeing that the policies enforce the properties defined in the model. The thesis profits from bridges between data dependencies, conceptual graphs and formal concepts analysis. Thus, we propose a graphical representation of the models and a semi-automated method for eengineering the policies. Finally, we present perspectives for access control models based upon recent applications of data dependencies from the databases community
7
Kamsu-Foguem, Bernard. "Modélisation et vérification des propriétés de systèmes complexes : Application aux processus d'entreprise." Montpellier 2, 2004. http://www.theses.fr/2004MON20050.
Full text
8
Timbert, Michaël. "Protections des processeurs contre les cyber-attaques par vérification de l’intégrité du flot d’exécution." Electronic Thesis or Diss., Institut polytechnique de Paris, 2020. http://www.theses.fr/2020IPPAT028.
Full textAbstract:
Les cyber-attaques reposent sur l'intrusion des systèmes numériques en exploitant des vulnérabilités pour prendre le contrôle du système. De nombreuses protections existent contre les cyber-attaques. Parmi elles, citons les techniques d'obfuscation de code, de vérifications d'intégrité de la mémoire,la personnalisation du jeu d'instruction, la distribution aléatoire de l'espace d'adressage (ASLR), les anticipations par les canaris ou bac à sable, l'isolation des processus (machines virtuelles), la gestion de droits d'accès. Au niveau matériel, les processeurs modernes procurent des techniques de sécurisation par isolation de zones (anneaux de protection, MMU, NX bit, Trustzone). Le Contrôle de l'Intégrité du flux d'exécution (Control Flow Integrity, CFI) est une nouvelle technique proposée par Abadi et al. pour empêcher la corruption d'un programme. Cette technique a donné lieu à beaucoup d'implémentations mais aucune n'est à la fois complète, rapide et facilement incorporable aux processeurs existants. Cette thèse est inspirée des travaux de HCODE qui implémente l'intégrité du code par calcule de signature pour chaque bloc de base de code exécuté. HCODE est un module matériel conçu pour être connecté en lecture seule sur l'interface entre le processeur et le cache d'instruction. Dans cette thèse nous présentons une amélioration de HCODE nommée CCFI qui fournit à la fois la protection de d'intégrité de code et l'intégrité du flux d'exécution. Nous proposons une architecture capable de protéger les sauts directs et indirects aussi bien que les interruptions. La solution proposée repose à la fois sur des modules matériels et sur des modifications du code pour assurer rapidité et flexibilité de la solution. Pour garantir une protection CFI complète, des métadonnées sont ajoutées au code. Ces métadonnées décrivent le graphe de flot de contrôle (Control Flow Graph, CFG) du programme. Celles-ci sont calculées statiquement pendant la phase de compilation et sont utilisées par le module matériel CCFI en conjonction avec le code exécuté pour garantir que le CFG est respecté. Nous démontrons que notre solution est capable de fournir une intégrité du flux d'exécution Complète en étant à la fois rapide et facilement adaptable aux processeurs existants. Nous l'illustrons sur deux processeurs RISC-V<br>Cyber attacks are based on intrusions into digital systems by exploiting bugs to take control over the system. Many protections have been developed to thwart cyber attack, among them we can quote code obfuscation, memory integrity check, instruction set randomization, address space layout randomization (ASLR), canary, sand boxing, process isolation, virtualization and access right restriction. Modern processors provide security by zone isolation systems (Protection ring, MMU, NX bit, TrustZone), Control Flow Integrity (CFI) is a new technique proposed by Abadi et al. to mitigate program corruption. This technique gave rise to many implementations but none are complete, fast and easily incorporable to existing processor. This thesis is inspired from previous work on HCODE which implements code integrity by computing signature for each executed basic block. HCODE is an hardware block designed to be plugged in read only on the interface between the processor and the instruction cache. In this thesis we present CCFI solution, improvement of HCODE, which is now able to provide Code Integrity and Control Flow Integrity. We propose CCFI architecture able to protect direct and indirect jumps as well as interruptions. The proposed solution is based on both hardware modules and software modifications to ensure speed and flexibility of the solution. To ensure a full CFI protection metadata are embedded with the code. These metadata describes the Control Flow Graph
9
Bettan, Armand-Ari. "Le contournement de la procédure de vérification de comptabilité." Paris 2, 2001. http://www.theses.fr/2001PA020026.
Full text
10
Lyagoubi, Myriam. "Contrôle, propriété et comportement de financement : étude des entreprises patrimoniales." Paris 9, 2002. https://portail.bu.dauphine.fr/fileviewer/index.php?doc=2002PA090006.
Full textBooks on the topic "Vérification de contrôle"
2
Gaston, S. J. Les petits systèmes informatiques: Contrôle et vérification. Institut canadien des comptables agréés, 1986.
Find full text
3
désarmement, Canada Direction du contrôle des armements et du. La vérification d'ici l'an 2000. Direction du contrôle des armements et du désarmement, 1991.
Find full text
4
Collins, Lionel. Audit et contrôle interne: Principes, objectifs et pratiques. 3rd ed. Dalloz, 1986.
Find full text
5
Widdowson, R. J. Évaluation du contrôle interne dans les organismes de services. Institut canadien des comptables agréés, 1990.
Find full text
6
Institut canadien des comptables agréés. La gestion du contrôle de l'informatique. 3rd ed. Institut canadien des comptables agréés, 1998.
Find full text
7
Morris, Ellis Fitch. La Question de la vérification dans les négociations sur le désarmement aux Nations Unies. Nations Unies, 1988.
Find full text
8
Marti, Miguel. Audit de la qualité: Démarche, outils, applications. Éditions d'Organisation, 1986.
Find full text
9
Klepak, H. P. Vérification d'un accord de paix en Amérique centrale. Ministère des affaires extérieures, 1989.
Find full text
10
Klepak, H. P. Considérations de sécurité et vérification d'un régime de contrôle des armements en Amérique centrale. Affaires extérieures et commerce extérieur Canada, 1990.
Find full textReports on the topic "Vérification de contrôle"
1
Vérification, contrôle et mesure de stockage géologique de CO2. Natural Resources Canada/ESS/Scientific and Technical Publishing Services, 2009. http://dx.doi.org/10.4095/261739.
Full text