| Verifying Distributed Real-time Properties of Embedded Systems via Graph Transformations and Model Checking | |
|---|---|
| Author | |
| Year of Publication |
2005
|
| Journal |
International Journal of Time-Critical Computing Systems
|
| Attachments |
Document
|
| Google Scholar | BibTeX | XML | |