,

Automatic abstraction of non-linear systems using change of bases transformations.

.
HSCC, стр. 143-152. ACM, (2011)

Метаданные

тэги

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

  • @dblp

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