Patents/Inventors

Robert Mciver

Austin, TXUS2 patents

2 Patents

US125302832026
Verification of the Reliability of Software and Devices Against Assertions and Guarantees
0 cites
US119367912024
Verification of the Reliability of Software and Devices Against Assertions and Guarantees
0 cites