Documents В.П. Иванников, А.С. Камкин М.М. Чупилко

Runtime Verification Based on Executable Models: On-the-Fly Matching of Timed Traces Проверка корректности поведения HDL-моделей цифровой…