Acquisition Source
Jet Propulsion Laboratory
Document Type
Conference Paper
Date Acquired
August 23, 2013
Publication Date
June 20, 2001
Subject Category
Computer Programming And Software Distribution Limits
Public
Keywords
security toolset vulnerability matrix property-based testing model specificationchecking security verification