Lerngruppe/2022-04-13

Aus SDQ-Wiki
Zur Navigation springen Zur Suche springen
Datum 2022/04/13 12:00 – 2022/04/13 13:30
Ort MS Teams
Vortragende(r) Heiko Klare
Thema Modular Consistency Notions and Their Preservation -- A Divide-And-Conquer Approach to Consistency
Materialien https://svnserver.informatik.kit.edu/i43/svn/lehre/SDQ-Lerngruppe/2022-04-13-Consistency/Klare Consistency-Transformations Formalization.pdf

Quellen unter https://www.overleaf.com/project/622869f0d5fc6ac55b59f2b3 mit Lehrstuhl-Account zugreifbar

Videoaufzeichnung auf der Halde verfügbar: /Videos/Lerngruppe Konsistenz Heiko 2022-04-13.mkv