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
Google Scholar | BibTeX | XML