Author: "Michael W. Whalen" / Journal: nasa formal methods - Searchworks@Jio Institute Digital Library Search Results

Searchworks

Select search scope, currently: Articles

Catalog

books, media & more in Jio Institute collections

Articles

journal articles & other e-resources

Your search keyword '"Michael W. Whalen"' showing total 3 results

Start Over Author "Michael W. Whalen" Journal nasa formal methods

3 results on '"Michael W. Whalen"'

1. Integrating Statechart Components in Polyglot.

Author: Daniel Balasubramanian, Corina S. Pasareanu, Jason Biatek, Thomas Pressburger, Gabor Karsai, Michael R. Lowry, and Michael W. Whalen
Published: 2012
Full Text: View/download PDF

2. Compositional Verification of Architectural Models.

Author: Darren D. Cofer, Andrew Gacek, Steven P. Miller, Michael W. Whalen, Brian LaValley, and Lui Sha
Published: 2012
Full Text: View/download PDF

3. Coverage Metrics for Requirements-Based Testing: Evaluation of Effectiveness.

Author: Matt Staats, Michael W. Whalen, Ajitha Rajan, and Mats Per Erik Heimdahl
Published: 2010

Catalog

Books, media, physical & digital resources

See catalog results