OREGON STATE UNIVERSITY

You are here

Formal Analysis of Log Files

TitleFormal Analysis of Log Files
Publication TypeConference Paper
Year of Publication2009
AuthorsBarringer, H., A. Groce, K. Havelund, and M. Smith
Conference NameSMC-IT Workshop on Software Reliability for Space Missions
Date Published07/2009
Conference LocationPasadena CA