Using statechart assertion for the formal validation and verification of a real-time software system a case study
Loading...
Authors
Beylin, Konstantin (Chris).
Subjects
Advisors
Drusinsky, Doron
Shing, Man-Tak
Date of Issue
2011-03
Date
Publisher
Monterey, CA; Naval Postgraduate School
Language
Abstract
V testing.
Type
Thesis
Description
Series/Report No
Department
Organization
Naval Postgraduate School (U.S.)
Identifiers
NPS Report Number
Sponsors
Funder
Format
xvi, 73 p. : ill. ;
Citation
Distribution Statement
Approved for public release; distribution is unlimited.
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.