Inproceedings,

Estimating latency and concurrency of asynchronous real-time interactive systems using model checking.

, , and .
VR, page 57-66. IEEE Computer Society, (2016)

Meta data

Tags

Users

  • @hci-uwb
  • @dblp
  • @marcerich

Comments and Reviews