Acquisition Source
Goddard Space Flight Center
Document Type
Conference Paper
Authors
Schulze, Christoph (Maryland Univ. College Park, MD, United States) Lindvall, Mikael (Maryland Univ. College Park, MD, United States) Bjorgvinsson, Sigurthor (Maryland Univ. College Park, MD, United States) Wiegand, Robert E. (NASA Goddard Space Flight Center Greenbelt, MD, United States) Date Acquired
August 20, 2018
Publication Date
November 2, 2015
Subject Category
Mathematical And Computer Sciences (General) Meeting Information
Meeting: IEEE International Symposium on Software Reliability Engineering (ISSRE) 2015
Location: Gaithersburg, MD
Country: United States
Start Date: November 2, 2015
End Date: November 5, 2015
Sponsors: Institute of Electrical and Electronics Engineers
Distribution Limits
Public
Copyright
Use by or on behalf of the US Gov. Permitted.
Keywords
State MachinesModel GenerationModel-based Testing