Using Partial-Order Methods in the Formal Validation of Industrial Concurrent Programs | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

1996

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

формальный

автоматический

верификация

параллельный

программа

Стр.:

P.496-507.

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

Bibliogr.: p.507.

Источник:

IEEE Trans. on Software Engineering

Номер:

7

Том:

22

Карточка:

Б3.54, Б2.23.

Godefroid P., Peled D., Staskauskas M..

Using Partial-Order Methods in the Formal Validation of Industrial Concurrent Programs// IEEE Trans. on Software Engineering-1996, №7.-Vol. 22.-P.496-507.
Bibliogr.: p.507.

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

PAP15 651