Alle öffentlichen Logbücher
Dies ist die kombinierte Anzeige aller in SDQ-Institutsseminar geführten Logbücher. Die Ausgabe kann durch die Auswahl des Logbuchtyps, des Benutzers oder des Seitentitels eingeschränkt werden (Groß-/Kleinschreibung muss beachtet werden).
- 09:47, 10. Jan. 2022 Frederik Reiche Diskussion Beiträge verschob die Seite Generation of Formal Specifications for Smart Contracts from Architectural Specifications nach Modelling and Enforcing Access Control Requirements for Smart Contracts
- 15:10, 8. Dez. 2021 Frederik Reiche Diskussion Beiträge erstellte die Seite Generation of Formal Specifications for Smart Contracts from Architectural Specifications (Die Seite wurde neu angelegt: „{{Vortrag |vortragender=Jan-Philipp Töberg |email=jan-philipp.toeberg@student.kit.edu |vortragstyp=Masterarbeit |betreuer=Benutzer:Dv9597 |termin=Institutssem…“)