Zum Inhalt springen

  1. Krishna, Siddharth [VerfasserIn] ; Emmi, Michael [Sonstige Person, Familie und Körperschaft]; Enea, Constantin [Sonstige Person, Familie und Körperschaft]; Jovanović, Dejan [Sonstige Person, Familie und Körperschaft]

    Verifying Visibility-Based Weak Consistency

    Videos
    Online ansehen
    Schließen

    Merkliste

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

    [Erscheinungsort nicht ermittelbar]: European Joint Conferences on Theory and Practice of Software - ETAPS - e. V, 2021

    Erschienen in: 29th European Symposium on Programming, ESOP 2020 ; (Jan. 2021)

  2. Zennou, Rachid [VerfasserIn] ; Université Paris Cité [MitwirkendeR]; Université Mohammed V (Rabat) [MitwirkendeR]; Bouajjani, Ahmed [MitwirkendeR]; Erradi, Mohammed [MitwirkendeR]

    Algorithmic methods for the verification of consistency in distributed systems ; Méthodes algorithmiques pour la vérification de la consistance dans les systèmes distribués

    Hochschulschriften
    Online ansehen
    Schließen

    Merkliste

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

    theses.fr, 2021-05-24

  3. Haas, Julian [VerfasserIn]; Mogk, Ragnar [VerfasserIn]; Yanakieva, Elena [VerfasserIn]; Bieniusa, Annette [VerfasserIn]; Mezini, Mira [VerfasserIn] ; Julian Haas and Ragnar Mogk and Elena Yanakieva and Annette Bieniusa and Mira Mezini [MitwirkendeR]

    LoRe: A Programming Model for Verifiably Safe Local-First Software (Artifact)

    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, 2023

  4. Haas, Julian [VerfasserIn]; Mogk, Ragnar [VerfasserIn]; Yanakieva, Elena [VerfasserIn]; Bieniusa, Annette [VerfasserIn]; Mezini, Mira [VerfasserIn] ; Julian Haas and Ragnar Mogk and Elena Yanakieva and Annette Bieniusa and Mira Mezini [MitwirkendeR]

    LoRe: A Programming Model for Verifiably Safe Local-First Software (Extended Abstract)

    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, 2023

  5. De Porre, Kevin [VerfasserIn]; Ferreira, Carla [VerfasserIn]; Gonzalez Boix, Elisa [VerfasserIn] ; Kevin De Porre and Carla Ferreira and Elisa Gonzalez Boix [MitwirkendeR]

    VeriFx: Correct Replicated Data Types for the Masses

    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, 2023

  6. De Porre, Kevin [VerfasserIn]; Ferreira, Carla [VerfasserIn]; Gonzalez Boix, Elisa [VerfasserIn] ; Kevin De Porre and Carla Ferreira and Elisa Gonzalez Boix [MitwirkendeR]

    VeriFx: Correct Replicated Data Types for the Masses (Artifact)

    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, 2023

  7. Kuncak, Viktor [VerfasserIn]; Rinard, Martin [VerfasserIn]; Marnette, Bruno [VerfasserIn] ; Viktor Kuncak and Martin Rinard and Bruno Marnette [MitwirkendeR]

    On Algorithms and Complexity for Sets with Cardinality Constraints

    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, 2006

  8. Xu, Yejun [VerfasserIn]; Li, Mengqi [VerfasserIn]; Pedrycz, Witold [VerfasserIn]

    Verifying and managing additive consistency and deriving weights for hesitant fuzzy preference relations

    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.

    2023

    Erschienen in: Operational Research Society: Journal of the Operational Research Society ; 74(2023), 6, Seite 1462-1474

  9. Naik, Ravindra [VerfasserIn] ; Association for Computing Machinery-Digital Library, ACM Special Interest Group on Software Engineering, ACM Special Interest Group on Artificial Intelligence

    Proceedings of the International Workshop on Formal Methods for Analysis of Business Systems

    Bücher
    Online ansehen
    Schließen

    Merkliste

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

    New York, NY: ACM, 2016

    Erschienen in: ACM Conferences- ACM Digital Library

  10. Rekik, Fadwa [VerfasserIn] ; Université Paris-Saclay (ComUE) [MitwirkendeR]; Gérard, Sébastien [MitwirkendeR]

    A model driven approach for the development and verification of service-oriented applications ; Approche dirigée par les modèles pour le développement et la vérification des applications orientées-services

    Hochschulschriften
    Online ansehen
    Schließen

    Merkliste

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

    theses.fr, 2017-04-19

  11. Pelay, Johan [VerfasserIn] ; Rennes 1 [MitwirkendeR]; Barais, Olivier [MitwirkendeR]; Guillemin, Fabrice [MitwirkendeR]

    Garantir la cohérence applicative lors des changements de configuration réseau : étude de cas sur la connectivité dans les Software Defined Infrastructures ; Ensuring application consistency when changing network configurations : a case study on connectivity in software defined infrastructures

    Hochschulschriften
    Online ansehen
    Schließen

    Merkliste

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

    theses.fr, 2020-01-13

  12. Tërnava, Xhevahire [VerfasserIn] ; Université Côte d'Azur (ComUE) [MitwirkendeR]; Collet, Philippe [MitwirkendeR]

    Gestion de la variabilité au niveau du code : modélisation, traçabilité et vérification de cohérence ; Handling variability at the code level : modeling, tracing and checking consistency

    Hochschulschriften
    Online ansehen
    Schließen

    Merkliste

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

    theses.fr, 2017-12-01

  13. DIN-Normenausschuss Bauwesen (NABau), DIN Standards Committee Building and Civil Energeering, DIN Deutsches Institut für Normung e. V., DIN German Institute for Standardization

    DIN 51043-2 : Trass - Teil 2: Übereinstimmungsnachweis - [2023-02-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, 2023

    Erschienen in: DIN-Regelwerk- Deutsche Normen

  14. DIN-Normenausschuss Nichteisenmetalle (FNNE), Nonferrous Metals Standards Committee, DIN Deutsches Institut für Normung e. V., DIN German Institute for Standardization

    DIN 17560-2 : Ferrosilicium und Silicium - Teil 2: Technische Lieferbedingungen für Silicium - [2004-02-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, 2004

    Erschienen in: DIN-Regelwerk- Deutsche Normen

  15. DIN-Normenausschuss Bauwesen (NABau), DIN Standards Committee Building and Civil Energeering, DIN Deutsches Institut für Normung e. V., DIN German Institute for Standardization

    DIN 1164-11 : Zement mit besonderen Eigenschaften - Teil 11: Zement mit verkürztem Erstarren - Zusammensetzung und Anforderungen - [2024-04-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, 2024

    Erschienen in: DIN-Regelwerk- Deutsche Normen

  16. DIN-Normenausschuss Wasserwesen (NAW), Water Practice Standards Committee, DIN Deutsches Institut für Normung e. V., DIN German Institute for Standardization

    DIN 1236-201 : Betonteile und Eimer für Abläufe - Klassen A und B - Teil 201: Übereinstimmungsnachweis für Betonteile - [2024-03-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, 2024

    Erschienen in: DIN-Regelwerk- Deutsche Normen