Acquisition Source
Jet Propulsion Laboratory
Document Type
Conference Paper
Authors
Powell, John D. (Jet Propulsion Lab., California Inst. of Tech. Pasadena, CA, United States) Menzies, Tim (Portland State Univ. OR, United States) Date Acquired
August 25, 2013
Publication Date
September 1, 2004
Subject Category
Cybernetics, Artificial Intelligence And Robotics Meeting Information
Meeting: IEEE Workshop on Intelligent Technologies for Software Engineering
Location: Linz
Country: Austria
Start Date: September 1, 2004
Sponsors: Institute of Electrical and Electronics Engineers
Distribution Limits
Public
Keywords
verificationstochastic searchmodel checking