Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
исполнение
Связанные издания:
A Bounded True Concurrency Process Algebra for Performance Evaluation
Describing IEEE 802.11 Wireless Mechanisms by Using the pi-Calculus and Performance Evaluation Process Algebra
Efficient Verification of Halting Properties For MPI Programs with Wildcard Receives
Formal Specification of Symbolic-Probabilistic Systems
HORB: Distributed Execution of Java Programs
Interactive Verification of UML State Machines
Petri-Net-Based Coordination Algorithms for Grid Transactions
Runtime Verification: Selected Papers/8th International Workshop, RV 2008. Budapest, Hungary, March 2008
Symbolic Execution with Abstract Subsumption Checking
Tests and Proofs: Proc./13th International Conference, TAP 2019 Held as Part of the 3rd World Congress on Formal Methods 2019, Porto, Portugal, October 2019
Исполнение модулей при помо и виртуальной машины
Модель динамического параллельного исполнения программ
Направленное динамическое символьное исполнение программ для подтверждения ошибок в программах