A Modular Verification Methodology for Caching and Lock-Based Concurrency in File Systems

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Pfähler, Jörg Michael ca. 20./21. Jh (VerfasserIn)
Format:	Abschlussarbeit Buch
Sprache:	English
Veröffentlicht:	Augsburg 2018
Schlagworte:	Schrittweise Verfeinerung Formale Spezifikationstechnik Stromausfall Verifikation Dateisystem Nebenläufigkeit Flash-Speicher Hochschulschrift
Online-Zugang:	kostenfrei kostenfrei
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge