Titel

Merkliste
1 Ergebnisse

Teaching practical realistic verification of distributed al..:

, In: Proceedings of the 19th ACM SIGPLAN International Workshop on Erlang,

Zeller, Peter ; Bieniusa, Annette ; Ferreira, Carla - p. 14-23 , 2020

Link: https://dl.acm.org/doi/10.1145/3406085.3409009

RT 
T1 <cTitle>Proceedings of the 19th ACM SIGPLAN International Workshop on Erlang</cTitle>: T1 <Title>Teaching practical realistic verification of distributed algorithms in Erlang with TLA+</Title>

UL https://suche.suub.uni-bremen.de/peid=acm-3409009&Exemplar=1&LAN=DE
				
A1 Zeller, Peter
A1 Bieniusa, Annette
A1 Ferreira, Carla
PB ACM
YR 2020
K1 Broadcast algorithms
K1 Distributed algorithms
K1 Formal verification
K1 TLA+
K1 Software and its engineering
K1 Software creation and management
K1 Software verification and validation
K1 Formal software verification
K1 Social and professional topics
K1 Professional topics
K1 Computing education
K1 Computing education programs
K1 Computer engineering education
K1 Software notations and tools
K1 General programming languages
K1 Language types
K1 Distributed programming languages
K1 Theory of computation
K1 Design and analysis of algorithms
K1 Distributed algorithms
SP 14
OP 23
LK http://dx.doi.org/https://dl.acm.org/doi/10.1145/3406085.3409009
DO https://dl.acm.org/doi/10.1145/3406085.3409009
SF ELIB - SuUB Bremen

Export

RefWorks (nur Desktop-Version!)
Flow (Zuerst in Flow einloggen, dann importieren)