Estimating latency and concurrency of asynchronous real-time interactive systems using model checking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Stephan Rehfeld, Marc Erich Latoschik, Henrik Tramberend. Estimating latency and concurrency of asynchronous real-time interactive systems using model checking. In Tobias Höllerer, Victoria Interrante, Anatole Lécuyer, Evan A. Suma, editors, 2016 IEEE Virtual Reality, VR 2016, Greenville, SC, USA, March 19-23, 2016. pages 57-66, IEEE Computer Society, 2016. [doi]

This author has not been identified. Look up 'Stephan Rehfeld' in GoogleThis author has not been identified. Look up 'Marc Erich Latoschik' in GoogleThis author has not been identified. Look up 'Henrik Tramberend' in Google

runs on WebDSL