Benutzerbeiträge
Zur Navigation springen
Zur Suche springen
- 14:08, 14. Jan. 2022 Unterschied Versionen -124 Bytes Modelling and Enforcing Access Control Requirements for Smart Contracts aktuell
- 10:34, 14. Jan. 2022 Unterschied Versionen +151 Bytes Modelling and Enforcing Access Control Requirements for Smart Contracts
- 09:59, 10. Jan. 2022 Unterschied Versionen +2.580 Bytes Modelling and Enforcing Access Control Requirements for Smart Contracts
- 09:47, 10. Jan. 2022 Unterschied Versionen +90 Bytes N Generation of Formal Specifications for Smart Contracts from Architectural Specifications Dv9597 verschob die Seite Generation of Formal Specifications for Smart Contracts from Architectural Specifications nach Modelling and Enforcing Access Control Requirements for Smart Contracts aktuell Markierung: Neue Weiterleitung
- 09:47, 10. Jan. 2022 Unterschied Versionen 0 Bytes K Modelling and Enforcing Access Control Requirements for Smart Contracts Dv9597 verschob die Seite Generation of Formal Specifications for Smart Contracts from Architectural Specifications nach Modelling and Enforcing Access Control Requirements for Smart Contracts
- 16:58, 13. Dez. 2021 Unterschied Versionen 0 Bytes Modelling and Enforcing Access Control Requirements for Smart Contracts
- 16:57, 13. Dez. 2021 Unterschied Versionen 0 Bytes Institutsseminar/2022-01-21
- 16:57, 13. Dez. 2021 Unterschied Versionen 0 Bytes Institutsseminar/2022-01-21
- 16:56, 13. Dez. 2021 Unterschied Versionen +75 Bytes N Institutsseminar/2022-01-21 Die Seite wurde neu angelegt: „{{Termin |datum=2021-01-01T14:00:00.000Z |raum=Raum 348 (Gebäude 50.34) }}“
- 15:10, 8. Dez. 2021 Unterschied Versionen +202 Bytes N Modelling and Enforcing Access Control Requirements for Smart Contracts 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…“
- 13:38, 7. Okt. 2021 Unterschied Versionen +1.390 Bytes Enabling the Information Transfer between Architecture and Source Code for Security Analysis aktuell
- 13:37, 15. Sep. 2021 Unterschied Versionen +211 Bytes N Enabling the Information Transfer between Architecture and Source Code for Security Analysis Die Seite wurde neu angelegt: „{{Vortrag |vortragender=Johannes Häring |email=johannes.haering@student.kit.edu |vortragstyp=Bachelorarbeit |betreuer=Benutzer:Dv9597 |termin=Institutsseminar…“
- 13:32, 15. Sep. 2021 Unterschied Versionen 0 Bytes Institutsseminar/2021-10-15 Zusatztermin
- 13:32, 15. Sep. 2021 Unterschied Versionen +109 Bytes N Institutsseminar/2021-10-15 Zusatztermin Die Seite wurde neu angelegt: „{{Termin |datum=2021/10/15 14:00:00 |raum=https://sdqweb.ipd.kit.edu/wiki/Institutsseminar/Microsoft Teams }}“
- 16:33, 13. Sep. 2021 Unterschied Versionen 0 Bytes Frederik Reiche Weiterleitungsziel von Frederik Reiche nach Frederik Reiche geändert aktuell Markierung: Weiterleitungsziel geändert
- 16:25, 13. Sep. 2021 Unterschied Versionen -51 Bytes Frederik Reiche Weiterleitungsziel von Modularization approaches in the context of monolithic simulations nach Frederik Reiche geändert Markierung: Weiterleitungsziel geändert
- 16:19, 13. Sep. 2021 Unterschied Versionen 0 Bytes Modularization approaches in the context of monolithic simulations aktuell
- 16:17, 13. Sep. 2021 Unterschied Versionen +131 Bytes N Frederik Reiche Die Seite wurde neu angelegt: „{{Betreuer |email=frederik.reiche@kit.edu |homepage=https://sdq.ipd.kit.edu/home/people/frederik-reiche/ |lehrstuhl=IPD Reussner }}“ aktuell