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 |