On the Designing of Model Checkers for Real-Time Distributed Systems - статья | ИСТИНА – Интеллектуальная Система Тематического Исследования НАукометрических данных

On the Designing of Model Checkers for Real-Time Distributed Systemsстатья

Дата последнего поиска статьи во внешних источниках: 29 мая 2015 г.

Авторы: Konnov I.V., Podymov V.V., Volkanov D.Yu, Zorin D.A., Zakharov V.A.
Сборник: 3-rd Workshop “Program Semantics, Specification, and Verification: Theory and Applications”, Nizhni Novgorod, Russia, July 1-2, 2012
Год издания: 2012
Место издания: Novgorod, Russia
Первая страница: 72
Последняя страница: 81
Добавил в систему: Захаров Владимир Анатольевич