Causality-Based Testing in Time Petri Nets | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Virbitskaite I.

Popova-Zeugmann L.

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

1

Вид:

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

Год:

2019

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

сети петри

тестирование

causality-based

семантика

временные сети петри

Стр.:

P.81-94

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

Bibliogr.: p.90-91

Место издания:

Источник:

PSI'19 Preliminary Proc.

Карточка:

Bozhenkova E., Virbitskaite I., Popova-Zeugmann L..

Causality-Based Testing in Time Petri Nets-Novosibirsk.// PSI'19 Preliminary Proc., 2019.-P.81-94
Bibliogr.: p.90-91