,

Visual Language for Behavioral Specifications of Reactive Systems.

, и .
ICCL, стр. 200-210. IEEE Computer Society, (1994)

Метаданные

тэги

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

  • @dblp

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