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
specification checking security verificationsecurity toolset vulnerability matrix property-based training model