assistant de preuve... preuve de programme... Un assistant de preuve est un logiciel interactif permettant à son utilisateur de construire... 'outil est utile à la vérification de logiciel critique. Cet article présente Coq, assistant de preuve développé...
Les articles de référence permettent d'initier une étude bibliographique, rafraîchir ses connaissances fondamentales, se documenter en début de projet ou valider ses intuitions en cours d'étude.
de Bletchley et la Convention du Conseil de l’Europe sur l’IA ont été adoptées respectivement en 2023 et 2024... artificielle. La Convention européenne du Conseil de l’Europe sur l’IA, adoptée le 29 mars 2024, se distingue... est la Convention 108 du 28 janvier 1981 du Conseil de l’Europe, avec la première définition du fichier... décembre 1966. L’Europe, via le Conseil de l’Europe, a ratifié la Convention européenne de sauvegarde...
Les articles de référence permettent d'initier une étude bibliographique, rafraîchir ses connaissances fondamentales, se documenter en début de projet ou valider ses intuitions en cours d'étude.
dans les conventions annuelles. Ce retour d'expérience présente le contexte ainsi que les modalités de définition... et de réalisation d'un événement collaboratif supporté par une plateforme logicielle lors d'une convention annuelle... que leur direction leur transmet dans les conventions annuelles. Ce retour d'expérience présente le contexte... lors d'une convention annuelle de la filière ressources humaines. Il détaille les actions déployées...
Les bases documentaires des Techniques de l'Ingénieur couvrent tous les grands domaines de l'ingénierie. Lancez votre recherche, affinez-là, obtenez vos réponses !
La diffusion des fiches de données de sécurité (FDS) auprès de vos clients répond à des obligations réglementaires. À quels principaux aspects devez-vous être particulièrement attentif ?
La réglementation REACh et le Code du travail déterminent vos obligations de diffusion des FDS.
100 fiches actions pour auditer et améliorer vos réponses aux obligations liés aux produits ou substances chimiques : santé et sécurité, usages, scénario d’exposition, autorisations, restrictions, étiquetage…
Pour simplifier et rationaliser la diffusion des fiches de données de sécurité (FDS), vous souhaitez mettre en place un système informatique performant. Quelles sont les caractéristiques essentielles du système informatique à mettre en place pour qu’il soit conforme à la réglementation REACh ?
Cet ensemble relève quelques défis techniques, organisationnels et réglementaires qui demanderaient une coopération étroite entre un juriste, un informaticien et un chimiste. Il suscite également quelques interrogations auxquelles les réponses seront apportées ci-après.
100 fiches actions pour auditer et améliorer vos réponses aux obligations liés aux produits ou substances chimiques : santé et sécurité, usages, scénario d’exposition, autorisations, restrictions, étiquetage…
Les laboratoires d’étalonnages ou d’essais se lançant dans une démarche d’accréditation le font souvent dans un but d’expansion de leur activité ou en vue d’obtenir un agrément, véritable « autorisation à travailler ». Dans ce contexte, l’obtention de l’accréditation doit être la plus rapide possible avec une obligation de réussir.
L’objectif de cette fiche est de donner aux laboratoires candidats à l’accréditation des recommandations pour élaborer le plan d’action « accréditation » et s’assurer d’être prêts le jour J.
Les fiches pratiques répondent à des besoins opérationnels et accompagnent le professionnel en le guidant étape par étape dans la réalisation d'une action concrète.
TECHNIQUES DE L'INGENIEUR
L'EXPERTISE TECHNIQUE ET SCIENTIFIQUE
DE RÉFÉRENCE
Avec Techniques de l'Ingénieur, retrouvez tous les articles scientifiques et techniques : base de données, veille technologique, documentation et expertise technique
Plus de 10 000 articles de référence, fiches pratiques et articles interactifs validés par les comités scientifiques
Toute l'actualité, la veille technologique, les études de cas et les événements de chaque secteur de l'industrie
SUIVEZ-NOUS
![Ecoutez notre podcast Cogitons Sciences : Encadrer la recherche médicale [Sciences et éthique #2]](https://www.techniques-ingenieur.fr/actualite/wp-content/uploads/2021/04/cogitons_sciences_article_episode_2-300x250.jpg)
