×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [delay1 r1]
Home >
delay1 r1
TMPA-2013 Chupilko: Verification of Correct Behaviour of HDL Models
361 views
Runtime Verification Based on Executable Models: On-the-Fly Matching of Timed Traces Mikhail Chupilko, Alexander Kamkin.
230 views
В.П. Иванников, А.С. Камкин М.М. Чупилко
50 views
Runtime Verification Based on Executable Models: On-the-Fly Matching of Timed Traces
50 views