Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Design and validation of cloud storage systems using formal methods - MaRDI portal

Design and validation of cloud storage systems using formal methods

From MaRDI portal

Publication:1698748

Jump to:navigation, search

DOI10.1007/978-3-319-68953-1_1zbMath1486.68052OpenAlexW2760816582MaRDI QIDQ1698748

Peter Csaba Ölveczky

Publication date: 16 February 2018

Full work available at URL: https://hal.inria.fr/hal-01760637/file/440117_1_En_1_Chapter.pdf

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42) Information storage and retrieval of data (68P20) Distributed systems (68M14)

This page was built for publication: Design and validation of cloud storage systems using formal methods

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:1698748&oldid=14015784"