A Combined Toolset for the Verification of Real-Time Distributed Systemsстатья

Информация о цитировании статьи получена из Scopus, Web of Science
Статья опубликована в журнале из списка Web of Science и/или Scopus
Дата последнего поиска статьи во внешних источниках: 2 декабря 2015 г.

Работа с статьей


[1] A combined toolset for the verification of real-time distributed systems / I. Konnov, V. V. Podymov, D. Y. Volkanov et al. // Programming and Computer Software. — 2015. — Vol. 41, no. 6. — P. 325–335.

Публикация в формате сохранить в файл сохранить в файл сохранить в файл сохранить в файл сохранить в файл сохранить в файл скрыть