Acquisition Source
Jet Propulsion Laboratory
Document Type
Conference Paper
Date Acquired
August 23, 2013
Publication Date
June 14, 2004
Subject Category
Computer Programming And Software Meeting Information
Meeting: 13th IEEE International Workshops Enabling Technologies : Infrastructures for Collaborative Enterprises, Modena, Italy
Start Date: June 14, 2004
End Date: June 16, 2004
Distribution Limits
Public
Keywords
softwaresecurityformal methodsmodel checking