Method for Modeling and Verification of Real-Time Systems
Thu, 06/12/2008 - 11:50am
| Title | Method for Modeling and Verification of Real-Time Systems |
| Publication Type | Thesis |
| Year of Publication | 1996 |
| Authors | Scott, J. |
| Academic Department | Master's Thesis |
| University | Vanderbilt University |
| Attachment | Size |
|---|---|
| Scott_J_0_0_1996_Method_for.pdf | 293.57 KB |
Copyright © 2011 ISIS / Vanderbilt University / School of Engineering