Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

Artikel & mehr
56 Treffer

Suchmaske

Suchtipp für den Bereich Artikel & mehr: Wörter werden automatisch mit UND verknüpft. Eine ODER-Verknüpfung erreicht man mit dem Zeichen "|", eine NICHT-Verknüpfung mit einem "-" (Minus) vor einem Wort. Anführungszeichen ermöglichen eine Phrasensuche.
Beispiele: (burg | schloss) -mittelalter, "berufliche bildung"

Das folgende Suchfeld wird hier nicht unterstützt: "Signatur / Strichcode".

Suchergebnisse einschränken oder erweitern

Aktive Suchfilter

Erscheinungszeitraum

Mehr Treffer

Weniger Treffer

Gefunden in

Art der Quelle

Schlagwort

Verlag

Publikation

Sprache

56 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Formally Verified Bug-free Implementations of (Logical) Algorithms
    Barroso, Pedro Miguel Laforêt ; Ravara, António ; et al.
    2020
    Online Hochschulschrift
    Zugriff:
    Volltext
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    Automatic Detection and Repair of Input Validation and Sanitization Bugs
    Alkhalaf, Muath ; Bultan, Tevfik
    2014
    Hochschulschrift
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    Analyse symbolique de code binaire pour la sécurité. Application à la détection d’attaques microarchitecturales dans les implémentations cryptographiques ; Symbolic binary-level code analysis for security. Application to the detection of microarchitectural timing attacks in cryptographic code
    Daniel, Lesly-Ann ; Université Côte d'Azur ; et al.
    2021
    Hochschulschrift
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    Modular and Safe Event-Driven Programming
    Desai, Ankush Pankaj
    2019
    Hochschulschrift
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    Decision procedures for vulnerability analysis ; Procédures de décision pour l'analyse de vulnérabilités
    Farinier, Benjamin ; VERIMAG (VERIMAG - IMAG) ; et al.
    In: https://theses.hal.science/tel-02988031 ; Performance [cs.PF]. Université Grenoble Alpes [2020-.], 2020. English. ⟨NNT : 2020GRALM013⟩, 2020
    Online Hochschulschrift
    Zugriff:
    Volltext
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    Calculus semantic with values passing in the denotational approach ; Semântica do cálculo com passagem de valores na abordagem denotacional
    Galli, Jaqueline Klein ; Nunes, Daltro Jose
    2020
    Online Hochschulschrift
    Zugriff:
    Volltext
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    Procédures de décision pour l'analyse de vulnérabilités ; Decision procedures for vulnerability analysis
    Farinier, Benjamin ; Université Grenoble Alpes ; et al.
    2020
    Hochschulschrift
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    Trusted Unmanned Aerial System Operations
    Theyyar Maalolan, Lakshman
    2020
    Online Hochschulschrift
    Zugriff:
    Volltext
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    Formal Methods for a Robust Domain Name System
    Kakarla, Siva Kesava Reddy
    2022
    Hochschulschrift
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    Using Formal Methods to Build and Validate Reliable and Secure Smart Systems via TLA+
    Obeidat, Nawar H.
    2021
    Hochschulschrift
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    From Finite to Infinite: Scalable Automatic Verification of Hardware Designs and Distributed Protocols
    Goel, Aman
    2021
    Online Hochschulschrift
    Zugriff:
    Volltext
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    USIMPL: An Extension of Isabelle/UTP with Simpl-like Control Flow
    Bockenek, Joshua A.
    2017
    Online Hochschulschrift
    Zugriff:
    Volltext
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    Verifying Design Properties at Runtime Using an MDE-Based Approach Models @Run.Time Verification-Application to Autonomous Connected Vehicles
    Loulou, Hassan
    2017
    Hochschulschrift
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    Contributions on Formal Methods for Timed and Probabilistic Systems
    Sankur, Ocan ; SUpervision of large MOdular and distributed systems (SUMO) ; et al.
    In: https://hal.science/tel-04310389 ; Computer Science [cs]. Université de Rennes, 2023, 2023
    Online Hochschulschrift
    Zugriff:
    Volltext
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 öffnen
    Enhancing Trust in Autonomous Systems without Verifying Software
    Stamenkovich, Joseph Allan
    2019
    Online Hochschulschrift
    Zugriff:
    Volltext
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 öffnen
    Automatic repair of behavioural specifications ; Reparação automática de especificações comportamentais
    Cerqueira, Jorge Gabriel Alves ; Cunha, Alcino ; et al.
    2022
    Online Hochschulschrift
    Zugriff:
    Volltext
    Wie komme ich dran?
  17. Detailansicht für Treffer 17 öffnen
    Specification and animation of security design models using Z ; Spécification et animation de modèles de conception de la sécurité avec Z
    Qamar, Muhammad Nafees ; Laboratoire d'Informatique de Grenoble (LIG) ; et al.
    In: https://theses.hal.science/tel-00716404 ; Autre [cs.OH]. Université de Grenoble, 2011. Français. ⟨NNT : 2011GRENM057⟩, 2011
    Online Hochschulschrift
    Zugriff:
    Volltext
    Wie komme ich dran?
  18. Detailansicht für Treffer 18 öffnen
    Spécification et animation de modèles de conception de la sécurité avec Z
    Qamar, Muhammad Nafees
    2011
    Hochschulschrift
    Wie komme ich dran?
  19. Detailansicht für Treffer 19 öffnen
    Circuit Debugging with Error Trace Compaction and Maximum Satisfiability
    Chen, Yibin
    2009
    Online Hochschulschrift
    Zugriff:
    Volltext
    Wie komme ich dran?
  20. Detailansicht für Treffer 20 öffnen
    Evolution-aware runtime verification
    Legunsen, Owolabi ; Marinov, Darko ; et al.
    2019
    Online Hochschulschrift
    Zugriff:
    Volltext
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -