Acquisition Source
Jet Propulsion Laboratory
Document Type
Conference Paper
Authors
Havelund, Klaus (Jet Propulsion Lab., California Inst. of Tech. Pasadena, CA, United States) Joshi, Rajeev (Jet Propulsion Lab., California Inst. of Tech. Pasadena, CA, United States) Date Acquired
May 2, 2016
Publication Date
November 3, 2014
Subject Category
Computer Programming And Software Meeting Information
Meeting: International Conference On Formal Engineering Methods (ICFEM 2014)
Location: Luxembourg
Country: United Kingdom
Start Date: November 3, 2014
End Date: November 7, 2014
Sponsors: Luxembourg Univ.
Distribution Limits
Public
Keywords
Runtime monitoringlog analysisvisualization