,

Timing Requirements for Time-Driven Systems Using Augmented Petri Nets.

, и .
IEEE Trans. Software Eng., 9 (5): 603-616 (1983)

Метаданные

тэги

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

  • @dblp

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