Correctness of Vehicle Control Systems: A Case Study

Author(s)
Weinberg, Henri B.
Thumbnail
DownloadMIT-LCS-TR-685.pdf (7.399Mb)
Advisor
Lynch, Nancy A.
Metadata
Show full item record
Date issued
1996-02
URI
https://hdl.handle.net/1721.1/149823
Series/Report no.
MIT-LCS-TR-685
Collections