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.
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
