de modélisation et leur analyse à l’aide de méthodes formelles. Les protocoles cryptographiques... de méthodes formelles a désormais fait ses preuves pour la détection de faille et la preuve de sécurité... L’analyse des protocoles cryptographiques à l’aide de méthodes formelles est basée sur une représentation... cette opération nécessite le développement de méthodes formelles adaptées pour tenir compte de ces équations. D...
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.
humaines. Pour augmenter le degré de confiance en ces systèmes, plusieurs méthodes formelles... 'un environnement non prévu. Des méthodes de vérifications formelles peuvent être mises en œuvre pour augmenter... des garanties nécessite le recours aux méthodes formelles pour établir rigoureusement des propriétés... sûre et l'intégration des méthodes formelles dans le flot standard. Motivations La criticité...
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.
Cet article traite de la synthèse de contrôleurs pour des systèmes non linéaires soumis à des contraintes sur les états et la commande et à des perturbations bornées, et pour des spécifications telles que la sûreté, l’atteignabilité ou des propriétés plus complexes formulées à l’aide d’automates ou de logiques temporelles. Dans ce contexte, les approches symboliques, qui ...
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.
Les données que vous utilisez dans le cadre de vos activités sont-elles suffisantes et représentatives de ce que vous souhaitez observer ? Si ce n’est pas le cas, vous risquez de prendre de mauvaises décisions. Cette fiche décrit différents cas d’utilisation courants des statistiques, en vous indiquant comment vous assurer que les données sont suffisantes, et ainsi vous rassurer quant à la qualité de vos décisions !
Amélioration des performances, Certification ISO 9001, Management intégré...
L'information est abondante, dispersée et versatile : vous voulez disposer de l'information utile et stratégique et déployer une veille flexible.
Comment prendre en compte les évolutions de l'écosystème informationnel et être au plus près des besoins de votre organisation et des préoccupations des clients de la veille… ?
Notre approche pragmatique a pour objet d'instaurer une démarche centrée sur les problématiques du contexte de votre entreprise en considérant les exigences de votre secteur d’activité et de votre actualité.
Toutes les clefs pour maîtriser la veille technologique
Les résultats de mesure ne sont pas parfaits. Chaque mesure est entachée d’une erreur qu’il convient de savoir estimer. En effet, de nombreuses décisions sont directement fondées sur des résultats de mesure. Il est donc important de pouvoir maîtriser le doute que l’on a sur la valeur du mesurande caractérisé. L’incertitude que l’on associe alors à un résultat de mesure permet de fournir une indication quantitative sur la qualité de ce résultat. Cette information est essentielle pour estimer la fiabilité d’un résultat de mesure.
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
