Zum Inhalt springen

  1. Klemen, Maximiliano [VerfasserIn]; Stulova, Nataliia [VerfasserIn]; Lopez-Garcia, Pedro [VerfasserIn]; Morales, José F. [VerfasserIn]; Hermenegildo, Manuel V. [VerfasserIn] ; Maximiliano Klemen and Nataliia Stulova and Pedro Lopez-Garcia and José F. Morales and Manuel V. Hermenegildo [MitwirkendeR]

    Towards Static Performance Guarantees for Programs with Run-Time Checks

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

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

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2018

  2. Stulova, Nataliia [VerfasserIn]; Morales, Jose F. [VerfasserIn]; Hermenegildo, Manuel V. [VerfasserIn] ; Nataliia Stulova and Jose F. Morales and Manuel V. Hermenegildo [MitwirkendeR]

    Towards Run-time Checks Simplification via Term Hiding

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

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

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2018

  3. ISO/TC 149 Fahrräder, ISO/TC 149 Cycles, ISO/TC 149 Cycles, ISO Internationale Organisation für Normung, ISO International Organization for Standardization, ISO Organisation Internationale de Normalisation

    ISO 4210-7 : Cycles - Safety requirements for bicycles - Part 7: Wheel and rim test methods - [2023-01-00]

    Normen
    Online ansehen
    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

  4. DIN-Normenausschuss Persönliche Schutzausrüstung (NPS), Personal Protective Equipment Standards Committee, DIN Deutsches Institut für Normung e. V., DIN German Institute for Standardization

    DIN EN ISO 11393-1 : Schutzkleidung für die Benutzer von handgeführten Kettensägen - Teil 1: Prüfstand zur Prüfung des Widerstandes gegen Kettensägen-Schnitte (ISO 11393-1:2018); Deutsche Fassung EN ISO 11393-1:2018 - [2018-12-00]

    Normen
    Online ansehen
    Schließen

    Merkliste

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

    Berlin, Wien, Zürich: Beuth Verlag, 2018

    Erschienen in: DIN-Regelwerk- Deutsche Normen

  5. ISO/TC 94 Persönliche Sicherheit - Schutzkleidung und -ausrüstung, ISO/TC 94 Personal safety - Protective clothing and equipment, ISO/TC 94 Sécurité individuelle - Vêtements et équipements de protection, ISO Internationale Organisation für Normung, ISO International Organization for Standardization, ISO Organisation Internationale de Normalisation

    ISO 11393-1 : Protective clothing for users of hand-held chainsaws - Part 1: Test rig for testing resistance to cutting by a chainsaw - [2018-09-00]

    Normen
    Online ansehen
    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, 2018

    Erschienen in: ISO-Regelwerk- ISO-Normen

  6. Pramanick, Koyel; Kulkarni, Prasad A.

    Information Security Practice and Experience: Detect Compiler Inserted Run-time Security Checks in Binary Software

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

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

    Springer International Publishing, 2022

    Erschienen in: Information Security Practice and Experience

  7. Courtieu, Pierre; Aponte, Maria Virginia; Crolard, Tristan; Zhang, Zhi; Robby, Fnu; Belt, Jason; Hatcliff, John; Guitton, Jerome; Jennings, Trevor

    Towards the formalization of SPARK 2014 semantics with explicit run-time checks using coq

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

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

    Association for Computing Machinery (ACM), 2013

    Erschienen in: ACM SIGAda Ada Letters

  8. Dewar, Robert; Hainque, Olivier; Craeynest, Dirk; Waroquiers, Philippe

    Lecture Notes in Computer Science: Exposing Uninitialized Variables: Strengthening and Extending Run-Time Checks in Ada

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

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

    Springer Berlin Heidelberg, 2002

    Erschienen in: Lecture Notes in Computer Science

  9. Lopez-Buedo, S.; Riviere, P.; Pernas, P.; Boemo, E.

    Lecture Notes in Computer Science: Run-Time Reconfiguration to Check Temperature in Custom Computers: An Application of JBits Technology

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

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

    Springer Berlin Heidelberg, 2002

    Erschienen in: Lecture Notes in Computer Science