Efficient Verification of Multi-Processor Real-Time Systems Using Symbolic Methods
Thu, 06/12/2008 - 11:50am
| Title | Efficient Verification of Multi-Processor Real-Time Systems Using Symbolic Methods |
| Publication Type | Thesis |
| Year of Publication | 2003 |
| Authors | Scott, J. |
| Academic Department | PhD Dissertation |
| Date Published | May |
| University | Vanderbilt University |
| Attachment | Size |
|---|---|
| Scott_JM_5_21_2004_Efficient_.pdf | 2.37 MB |
Copyright © 2011 ISIS / Vanderbilt University / School of Engineering