Integrating statechart components in polyglot | 2 | 0.41 | 2012 |
Polyglot: modeling and analysis for multiple Statechart formalisms | 19 | 1.11 | 2011 |
Combining unit-level symbolic execution and system-level concrete execution for testing nasa software | 135 | 5.13 | 2008 |
Intelligent software engineering tools for NASA's crew exploration vehicle | 0 | 0.34 | 2008 |
A model for public involvement in transportation improvement programming using participatory Geographic Information Systems | 3 | 0.39 | 2008 |
NASA's Exploration Agenda and Capability Engineering | 7 | 0.72 | 2006 |
Analytic Verification of Flight Software | 5 | 0.43 | 1998 |
Learning physical description from functional definitions, examples and precedents | 60 | 89.40 | 1983 |