Formal verification of safety-critical hybrid systems /
This thesis investigates how the formal modeling and verification techniques of computer science can be used for the analysis of hybrid systems -- systems involving both discrete and continuous behavior. The motivation behind such research lies in the inherent similarity of the hierarchical and dece...
| Main Author: | |
|---|---|
| Corporate Author: | |
| Format: | Thesis Book |
| Language: | English |
| Published: |
Cambridge, Mass. :
Laboratory for Computer Science, Massachusetts Institute of Technology,
[1997]
|
| Series: | MIT/LCS/TR ;
730 |
| Subjects: |
Internet
This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.Massachusetts Institute of Technology
| Call Number: |
QA76.M41.P96 no.730 |
|---|