Book Reading Time
Home
Subjects
Calculator
About
Contact
Search
M
Mandayam Srivas
5 books found
Books by Mandayam Srivas
A systematic methodology for verifying superscalar microprocessors
Mandayam Srivas
A systematic methodology for verifying superscalar microprocessors
Mandayam Srivas
1999
No page data
Moving formal methods into practice
Mandayam Srivas
Moving formal methods into practice
Mandayam Srivas
1992
No page data
Verification of the FtCayuga fault-tolerant microprocessor system. Volume I: A case study in theorem prover-based verification
Mandayam Srivas
⏱ 55m
Verification of the FtCayuga fault-tolerant microprocessor system. Volume I: A case study in theorem prover-based verification
Mandayam Srivas
1991
55 pp.
Verification of the FtCayuga fault-tolerant microprocessor system
Mandayam Srivas
Verification of the FtCayuga fault-tolerant microprocessor system
Mandayam Srivas
1991
No page data
Formal verification of an avionics microprocessor
Mandayam K. Srivas
⏱ 1h 40m
Formal verification of an avionics microprocessor
Mandayam K. Srivas
1995
100 pp.