Zobrazeno 1 - 10 of 290 pro vyhledávání: '"Atteignabilité"'
1
Atteignabilité robuste et comptage de modèles pour la sécurité logicielle
Autor: Girol, Guillaume
Publikováno v: Cryptography and Security [cs.CR]. Université Paris-Saclay, 2022. English. ⟨NNT : 2022UPASG071⟩
Modern bug-finding techniques have become effective enough that the bottleneck is not finding bugs but finding the time to fix them. A popular way to address this problem is to focus first on bugs with a security impact, also known as vulnerabilities
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::9627b2e93d8ad215b40228a7debc7265
https://theses.hal.science/tel-03865452
Zobrazit plný text záznamu
2
Akademický článek
Exact reachability for second-order integro-differential equations
Autor: Loreti, Paola, Sforza, Daniela
Publikováno v: In Comptes rendus - Mathématique 2009 347(19):1153-1158
Zobrazit plný text záznamu
3
Dissertation/ Thesis
Analyse d'atteignabilité de systèmes max-plus incertains
Autor: Ferreira Cândido, Renato Markele
Les Systèmes à Evénements Discrets (SED) peuvent être définis comme des systèmes dans lesquels les variables d'état changent sous l'occurrence d'évènements au fil du temps. Les SED mettant en jeu des phénomènes de synchronisation peuve
Externí odkaz: http://www.theses.fr/2017ANGE0014/document
Zobrazit plný text záznamu
4
Structuration et sélections dans les systèmes éducatifs : accessibilité, disponibilité et atteignabilité de l'enseignement supérieur au Royaume-Uni
Autor: Vincent Carpentier
Publikováno v: Sélections, du système éducatif au marché du travail / Journées du Longitudinal (JDL n° XXVI; 12-13 novembre 2020; Toulouse) (2021)
Sélections, du système éducatif au marché du travail / Journées du Longitudinal (JDL n° XXVI; 12-13 novembre 2020; Toulouse) (2021), Céreq, pp.29-42, 2021, Céreq Echanges n° 16, 978-2-11-151942-8
Vincent Carpentier
Introduction Ce papier propose d’explorer les relations et tensions historiques et contemporaines entre l’expansion du système éducatif, les processus de différentiation institutionnelle et les mécanismes de sélection au Royaume-Uni. L’ana
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::39f9d794b55e02c49717e89f5b5b56c6
https://halshs.archives-ouvertes.fr/halshs-03364198/document
Zobrazit plný text záznamu
5
Extensions de l’algorithme d’atteignabilité arrière dans le cadre de la vérification de modèles modulo théories
Autor: Roux, Mattias
Publikováno v: Logique en informatique [cs.LO]. Université Paris Saclay (COmUE), 2019. Français. ⟨NNT : 2019SACLS582⟩
This thesis proposes to present several extensions that have been added to the Cubicle model checker.Cubicle is a software allowing to automatically check the safety of parameterized systems using model checking modulo theory techniques.The first con
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::3d1b5789acee8eebd093c3a603eec7e8
https://tel.archives-ouvertes.fr/tel-02496033/file/76332_ROUX_2019_archivage.pdf
Zobrazit plný text záznamu
6
Génération de séquences d'actions sûres par recherche d'atteignabilité
Autor: Cochard, Thomas, Gouyon, David, Pétin, Jean-François
Publikováno v: Génie logiciel
Génie logiciel, C & S, 2015, pp.43-50
National audience; Cet article s'intéresse à l'ingénierie et la préparation des séquences d'actions pour les systèmes complexes critiques, avec pour objectif d'assurer que les séquences peuvent être opérées en toute sécurité sur le procé
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::394eb392eeb529dc50b550f80f8a5814
https://hal.archives-ouvertes.fr/hal-01138524
Zobrazit plný text záznamu
7
Reconfiguration dynamique d'une ligne d'assemblage par recherche d'atteignabilité sur un réseau d'automates communicants
Autor: Manceaux, Antoine, Bril El-Haouzi, Hind, Thomas, André, Pétin, Jean-François, Munier, Thierry
National audience; Cet article propose une méthode s'appuyant sur la recherche d'atteignabilité sur un réseau d'automates communicants. Celle-ci est utilisée pour rééquilibrer dynamiquement une ligne d'assemblage lorsqu'une perturbation survien
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::d00d3a79ef15c9197f4e8736afa7b172
https://hal.archives-ouvertes.fr/hal-01094668/file/HAL_MOSIM'14_Reconfiguration_Dynamique.pdf
Zobrazit plný text záznamu
8
Analyse d’atteignabilité pour les programmes fonctionnels avec stratégie d’évaluation en profondeur
Autor: Salmon, Yann
Publikováno v: Théorie et langage formel [cs.FL]. Université de Rennes 1, 2015. Français. ⟨NNT : 2015REN1S085⟩
This document presents an extension of tree automata completion to innermost rewriting.; Établir des preuves de bon fonctionnement des programmes est délicat ; on a recours à des outils de preuve, qui doivent procéder par surapproximation (à cau
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______2755::26f959c217b864f19405fcbf7268ecd8
https://hal.inria.fr/tel-01250252v2/document
Zobrazit plný text záznamu
9
Analyse d'atteignabilité des systèmes (max,+)-linéaires à l'aide des polyèdres tropicaux
Autor: Winck, Guilherme E, Lhommeau, Mehdi, Hardouin, Laurent
Publikováno v: Modélisation des Systèmes Réactifs (MSR 19)
Modélisation des Systèmes Réactifs (MSR 19), Nov 2019, Angers, France
International audience
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d7514d6d359317bb2777d634bec2f4ae
https://hal.archives-ouvertes.fr/hal-02373597
Zobrazit plný text záznamu
10
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Vyhledávací nástroje:

Upřesnit hledání

Omezení vyhledávání
Plný text Recenzováno Digitální knihovna AV ČR
Zdroje