DSATS Community Call 16-May-2024
top of page
DSATS Members
Public·166 members
Colleagues,
Here is the video recording of the July 2023 Members' meeting
Verification of Automated Systems Using Software.
Relevant presentation (3rd) starts at 52 minutes.
Very interesting tech talk on using software verification systems.
bottom of page