Assessing the security of a mission-critical software system
Explore the source record for details and available documents.
model checking security verification↗
Engineering topics
Gilliam, J.
Publications and source records attributed to Gilliam, J..
Reducing software security risk through an integrated approach
Explore the source record for details and available documents.
model checking security verification↗