Decision Support for Formal Method Selection

Thumbnail Image
Files
NPS-SW-02-007.pdf (6.21 MB)
Authors
Zhang, Lynn
Subjects
Advisors
Date of Issue
2002-07
Date
July 2002
Publisher
Naval Postgraduate School
Language
en_US
Abstract
Type
Technical Report
Description
Author-contributed print item
URI
https://hdl.handle.net/10945/65329
Series/Report No
Department
Computer Science (CS)
Organization
Identifiers
NPS Report Number
NPS-SW-02-007
Sponsors
Funder
Format
14 p.
Citation
Luqi and L. Zhang, "Decision Support for Formal Method Selection", Technical Report, NPS-SW-02- 007, NPS Monterey, CA, July 2002.
Distribution Statement
Rights
This publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. Copyright protection is not available for this work in the United States.
Collections
Reports