,

Deriving Safety Cases for Hierarchical Structure in Model-Based Development.

, , и .
SAFECOMP, том 6351 из Lecture Notes in Computer Science, стр. 68-81. Springer, (2010)

Метаданные

тэги

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

  • @dblp

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