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