Informationen zu „Generation of Formal Specifications for Smart Contracts from Architectural Specifications“

Basisinformationen

AnzeigetitelGeneration of Formal Specifications for Smart Contracts from Architectural Specifications
Weiterleitungen nachModelling and Enforcing Access Control Requirements for Smart Contracts (Information)
StandardsortierschlüsselGeneration of Formal Specifications for Smart Contracts from Architectural Specifications
Seitenlänge (in Bytes)90
Seitenkennnummer764
Seiteninhaltssprachede - Deutsch
SeiteninhaltsmodellWikitext
Indizierung durch SuchmaschinenErlaubt
Anzahl der Weiterleitungen zu dieser Seite0

Seitenschutz

BearbeitenAlle Benutzer (unbeschränkt)
VerschiebenAlle Benutzer (unbeschränkt)
Das Seitenschutz-Logbuch für diese Seite ansehen.

Versionsgeschichte

SeitenerstellerFrederik Reiche (Diskussion | Beiträge)
Datum der Seitenerstellung09:47, 10. Jan. 2022
Letzter BearbeiterFrederik Reiche (Diskussion | Beiträge)
Datum der letzten Bearbeitung09:47, 10. Jan. 2022
Gesamtzahl der Bearbeitungen1
Gesamtzahl unterschiedlicher Autoren1
Anzahl der kürzlich erfolgten Bearbeitungen (in den letzten 90 Tagen)0
Anzahl unterschiedlicher Autoren der kürzlich erfolgten Bearbeitungen0
Abgerufen von „https://sdq.kastel.kit.edu/institutsseminar/Generation_of_Formal_Specifications_for_Smart_Contracts_from_Architectural_Specifications“