Method for Modeling and Verification of Real-Time Systems | |
---|---|
Author | |
Year of Publication |
1996
|
Academic Department |
Master's Thesis
|
University |
Vanderbilt University
|
Attachments |
Document
|
Google Scholar | BibTeX | XML |