1D-Convolutional Neural Network Architecture for Generalized Time-Segmentation Tasks
1D-Convolutional Neural Network Architecture for Generalized Time-Segmentation Tasks
2nd GSFC-JPL Quality Mission Workshop Report
A Bi-Level Programming Model for the Road Network Planning in Economic Circle
A brief overview of NASA Langley's research program in formal methods
Abstract for 1999 Rational Software User Conference
A case study in multi-component software development
ACES: Space shuttle flight software analysis expert system
Achieving control and interoperability through unified model-based systems and software engineering
Achieving control and interoperability through unified model-based systems and software engineering