Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.
2020Model checking smart contracts for Ethereum
Osterland, T.; Rose, T.
Journal Article
2020On the Implementation of Business Process Logic in DLT Nodes
Osterland, T.; Rose, T.; Putschli, C.
Conference Paper
2018Blockchain: Verlässliche Transaktionen
Prinz, W.; Rose, T.; Osterland, T.; Putschli, C.
Book Article
2017Correctness of Smart Contracts for Consistency Enforcement
Osterland, T.; Rose, T.
Journal Article