Lerngruppe/2022-04-13
| Datum | Mittwoch, 13. April 2022, 12:00 – 13:30 Uhr |
|---|---|
| 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