Model checking of software control systems
| dc.contributor.advisor | Browne, James C. | en |
| dc.contributor.advisor | Tesar, Delbert | en |
| dc.creator | Sharygina, Natalia Yevgenyevna | en |
| dc.date.accessioned | 2008-08-28T21:39:33Z | en |
| dc.date.available | 2008-08-28T21:39:33Z | en |
| dc.date.issued | 2002 | en |
| dc.description | text | en |
| dc.description.department | Mechanical Engineering | en |
| dc.format.medium | electronic | en |
| dc.identifier | b57227214 | en |
| dc.identifier.oclc | 56968795 | en |
| dc.identifier.proqst | 3108507 | en |
| dc.identifier.uri | http://hdl.handle.net/2152/920 | en |
| dc.language.iso | eng | en |
| dc.rights | Copyright is held by the author. Presentation of this material on the Libraries' web site by University Libraries, The University of Texas at Austin was made possible under a limited license grant from the author who has retained all copyrights in the works. | en |
| dc.subject.lcsh | Automatic control--Data processing | en |
| dc.subject.lcsh | Computer software | en |
| dc.subject.lcsh | Software engineering | en |
| dc.title | Model checking of software control systems | en |
| dc.type.genre | Thesis | en |
| thesis.degree.department | Mechanical Engineering | en |
| thesis.degree.discipline | Mechanical Engineering. | en |
| thesis.degree.grantor | The University of Texas at Austin | en |
| thesis.degree.level | Doctoral | en |
| thesis.degree.name | Doctor of Philosophy | en |