,

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

, , и .
VR, стр. 57-66. IEEE Computer Society, (2016)

Метаданные

тэги

Пользователи данного ресурса

  • @hci-uwb
  • @dblp
  • @marcerich

Комментарии и рецензии