Zum Inhalt springen

  1. Ivanova, Elena [Verfasser:in] ; université Paris-Saclay [Mitwirkende:r]; Girard, Antoine [Mitwirkende:r]

    Efficient Synthesis of Safety Controllers using Symbolic Models and Lazy Algorithms ; Synthèse efficace des contrôleurs de sécurité à l'aide de modèles symboliques et d'algorithmes paresseux

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2021-11-15

  2. Dallon, Antoine [Verfasser:in] ; Université Paris-Saclay (ComUE) [Mitwirkende:r]; Delaune, Stéphanie [Mitwirkende:r]; Cortier, Véronique [Mitwirkende:r]

    Vérification de propriétés d'indistinguabilité pour les protocoles cryptographiques ; Verification of indistinguishability properties for cryptographic protocols

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2018-11-26

  3. Cheval, Vincent [Verfasser:in] ; Cachan, Ecole normale supérieure [Mitwirkende:r]; Comon-Lundh, Hubert [Mitwirkende:r]; Blanchet, Bruno [Mitwirkende:r]

    Automatic verification of cryptographic protocols : privacy-type properties ; Vérification automatique des protocoles cryptographiques : propriétés d'équivalence

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2012-12-03

  4. Girol, Guillaume [Verfasser:in] ; université Paris-Saclay [Mitwirkende:r]; Conchon, Sylvain [Mitwirkende:r]; Bardin, Sébastien [Mitwirkende:r]

    Robust reachability and model counting for software security ; Atteignabilité robuste et comptage de modèles pour la sécurité logicielle

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2022-10-17

  5. Jacomme, Charlie [Verfasser:in] ; université Paris-Saclay [Mitwirkende:r]; Comon-Lundh, Hubert [Mitwirkende:r]; Kremer, Steve [Mitwirkende:r]

    Preuves de protocoles cryptographiques : méthodes symboliques et attaquants puissants ; Proofs of security protocols : symbolic methods and powerful attackers

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2020-10-16

  7. Charrier, Tristan [Verfasser:in] ; Rennes 1 [Mitwirkende:r]; Pinchinat, Sophie [Mitwirkende:r]

    Complexité théorique du raisonnement en logique épistémique dynamique et étude d’une approche symbolique ; Theoretical complexity of reasoning in dynamicepistemic logic and study of a symbolic approach

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2018-12-05

  8. Véran, Thomas [Verfasser:in] ; Lyon, INSA [Mitwirkende:r]; Petit, Jean-Marc [Mitwirkende:r]

    Efficient and interpretable crash prediction models : An application to a French highway network ; Prévention des causes d’accidents à partir des données d’historique des sociétés d’autoroute

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2022-11-04

  10. Medimegh, Slim [Verfasser:in] ; Université Paris-Saclay (ComUE) [Mitwirkende:r]; Boulanger, Frédéric [Mitwirkende:r]

    Analyse formelle de spécifications hybrides à partir de modèles SysML pour la validation fonctionnelle des systèmes embarqués ; Formal analysis of hybrid specifications from SysML models for functional validation of embedded systems specifications

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2018-12-20

  11. Kamienny, Pierre-Alexandre [Verfasser:in] ; Sorbonne université [Mitwirkende:r]; Lamprier, Sylvain [Mitwirkende:r]; Gallinari, Patrick [Mitwirkende:r]; Denoyer, Ludovic [Mitwirkende:r]

    Efficient adaptation of reinforcement learning agents : from model-free exploration to symbolic world models ; Adaptation efficace des agents appris par renforcement : de l'exploration model-free aux modèles symboliques

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2023-10-04

  17. Nguyen, Ngo Minh Thang [Verfasser:in] ; Université Paris-Saclay (ComUE) [Mitwirkende:r]; Le Gall, Pascale [Mitwirkende:r]

    Test case generation for Symbolic Distributed System Models : Application to Trickle based IoT Protocol ; Génération de cas de test pour les modèles symboliques de système distribués : Application au protocole IoT à base de Trickle

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2019-12-16

  19. ISO/IEC JTC 1/SC 24 Graphische Datenverarbeitung und Bildverarbeitung, ISO/IEC JTC 1/SC 24 Computer graphics and image processing, ISO/CEI JTC 1/SC 24 Infographie et traitement de l'image, ISO Internationale Organisation für Normung, ISO International Organization for Standardization, ISO Organisation Internationale de Normalisation, IEC Internationale Elektrotechnische Kommission, IEC International Electrotechnical Commission, CEI Commission Electrotechnique Internationale

    ISO/IEC DIS 18042-5 : Information technology - Computer graphics and image processing - Spatial Reference Model (SRM) language bindings - Part 5: C++ - [2023-09-00]

    Normen
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Geneve: International Organization for Standardization, 2023

    Erschienen in: ISO-Regelwerk- ISO-Normen

  20. ISO/IEC JTC 1/SC 24 Graphische Datenverarbeitung und Bildverarbeitung, ISO/IEC JTC 1/SC 24 Computer graphics and image processing, ISO/CEI JTC 1/SC 24 Infographie et traitement de l'image, ISO Internationale Organisation für Normung, ISO International Organization for Standardization, ISO Organisation Internationale de Normalisation, IEC Internationale Elektrotechnische Kommission, IEC International Electrotechnical Commission, CEI Commission Electrotechnique Internationale

    ISO/IEC 18042-4 AMD 1 : Information technology - Computer graphics and image processing - Spatial Reference Model (SRM) language bindings - Part 4: C; Amendment 1 - [2011-06-00]

    Normen
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Geneve: International Organization for Standardization, 2011

    Erschienen in: ISO-Regelwerk- ISO-Normen