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]

Authors

Stephan Rehfeld

This author has not been identified. Look up 'Stephan Rehfeld' in Google