Embedded Systems Group (ES)

Search Result

2019

BibTeX Search WWW PDF   [Lede19]
M. Lederer
Causal Correctness as a Safety Property
Bachelor Thesis

2018

BibTeX Search WWW PDF   [Bone18]
Y. Bonenberger
Ordering events in distributed systems: A review
BibTeX Search WWW   [Bone18a]
Y. Bonenberger
Ordering events in distributed systems: A review
Presentation
BibTeX Search WWW PDF   [Rohr18]
N. Rohr
GOTO Statement: A Balanced View
BibTeX Search WWW PDF   [Rohr18a]
N. Rohr
GOTO Statement: A Balanced View
Presentation