Correctness of Vehicle Control Systems: A Case Study

Name

MIT-LCS-TR-685.pdf

Size

7.4 MB

Format

Adobe PDF

Checksum (MD5)

6905b5c602fbef5c8ffcf55bed4c05a2

Author(s)

Weinberg, Henri B.

Advisor(s)

Lynch, Nancy A.

Date Issued

February 1996

Series/Report no.

MIT-LCS-TR-685

Persistent DSpace Link

https://hdl.handle.net/1721.1/149823