,

A Predictive Runtime Verification Framework for Cyber-Physical Systems.

, , и .
SERE (Companion), стр. 223-227. IEEE, (2014)

Метаданные

тэги

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

  • @dblp

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