Categorical Modelling of trace equivalence for timed automata models with invariants | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Gribovskaya N. S.

Количество экземпляров:

1

Вид:

Статья из сборника или журнала

Год:

2009

Ключевые слова:

формальный

моделирование

временной автомат

система реального времени

следовый

эквивалентность

Стр.:

P.55-66

Выпуск:

28

Библиография:

Bibliogr.: p.65-66

Источник:

Bulletin of the Novosibirsk Computing Center

Карточка:

Б2.11, Б2.2.

Gribovskaya N. S..

Categorical Modelling of trace equivalence for timed automata models with invariants// Bulletin of the Novosibirsk Computing Center-2009.-P.55-66
Bibliogr.: p.65-66

Таблица в старой библиотеке:

ISI3 42