Verification of Automated Systems Using Software.
Relevant presentation (3rd) starts at 52 minutes.
Very interesting tech talk on using software verification systems.
top of page
DSATS Members
Public·168 members
bottom of page
Verification of Automated Systems Using Software.
Relevant presentation (3rd) starts at 52 minutes.
Very interesting tech talk on using software verification systems.