Вы здесь

Главная

непрерывно-временной

Связанные издания:

"Истинно параллельная" семантика непрерывно-временных сетей Петри со слабой временной и устойчиво атомарной пространственной стратегиями
Методы композиции при построении характеризационных формул для моделей с непрерывным временем
Структурный анализ поведения непрерывно-временных сетей Петри
Тестовые эквивалентности временных сетей Петри