Preview

Информатика

Расширенный поиск
Полноэкранный режим

Для цитирования:


Поттосин Ю.В., Романов В.И., Черемисинова Л.Д. Верификация систем с параллелизмом поведения на основе графа достижимых состояний. Информатика. 2019;16(2):62-72.

For citation:


Pottosin Y.V., Romanov V.I., Cheremisinova L.D. Verification of systems with behavior parallelism on the basis of the graph of reachable states. Informatics. 2019;16(2):62-72. (In Russ.)

Просмотров: 44


Creative Commons License
Контент доступен под лицензией Creative Commons Attribution 4.0 License.


ISSN 1816-0301 (Print)
ISSN 2617-6963 (Online)