Acquisition Source
Jet Propulsion Laboratory
Document Type
Conference Paper
Date Acquired
August 23, 2013
Publication Date
December 3, 2004
Subject Category
Computer Programming And Software Distribution Limits
Public
Keywords
model checkingsoftware securitytesting