×
Log in
Upload File
Most Popular
Art & Photos
Automotive
Business
Career
Design
Education
Hi-Tech
+ Browse for More
The top documents tagged [designadditional properties]
Documents
Automatic Verification of Component-Based Real-Time CORBA Applications
33 views
Documents
Verifying Distributed Real-time Properties of Embedded Systems via Graph Transformations and Model Checking Gabor Madl
[email protected]
@isis.vanderbilt.edu
224 views
Documents
Automatic Verification of Component-Based Real-Time CORBA Applications
33 views