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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.