| Automatic Verification of Component-Based Real-Time CORBA Applications | |
|---|---|
| Author | |
| Year of Publication |
2004
|
| Conference Name |
the 25th IEEE International Real-Time Systems Symposium
|
| Date Published |
December
|
| Conference Location |
Lisbon, Portugal
|
| Attachments |
Document
|
| Google Scholar | BibTeX | XML | |