×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [eventdriven systemsit]
Home >
eventdriven systemsit
Verifying Distributed Real-time Properties of Embedded Systems via Graph Transformations and Model Checking Gabor Madl
[email protected]
@isis.vanderbilt.edu.
221 views
Automatic Verification of Component-Based Real-Time CORBA Applications
27 views
Automatic Verification of Component-Based Real-Time CORBA Applications
34 views