×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [r1 sendout]
TMPA-2013 Chupilko: Verification of Correct Behaviour of HDL Models
362 views
Runtime Verification Based on Executable Models: On-the-Fly Matching of Timed Traces Mikhail Chupilko, Alexander Kamkin
230 views