Untersuchung der Nebenläufigkeit, Latenz und Konsistenz asynchroner Interaktiver Echtzeitsysteme mittels Profiling und Model Checking

Stephan Rehfeld. Untersuchung der Nebenläufigkeit, Latenz und Konsistenz asynchroner Interaktiver Echtzeitsysteme mittels Profiling und Model Checking. PhD thesis, Julius Maximilians University Würzburg, Germany, 2017. [doi]

No reviews for this publication, yet.