Real arithmetic based verification of prioritized time Perti nets with parameters | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Virbitskaite I.

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

1

Вид:

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

Год:

2010

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

верификация

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

алгоритм

оценка сложности

time petri nets

темпоральная логика

Стр.:

P.179-193

Выпуск:

31

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

Bibliogr.: p.192-193

Серия:

Computer Science

Источник:

Bulletin of the Novosibirsk Computing Center

Карточка:

Б2.2.

Virbitskaite I., Fleischhack H., Dedova A..

Real arithmetic based verification of prioritized time Perti nets with parameters// Bulletin of the Novosibirsk Computing Center-2010.-P.179-193-(Computer Science, Вып.31).
Bibliogr.: p.192-193

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

PAP31 603