Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Outros
|
Novel Observing Strategies for NASA Future Earth Science MissionsMoigne, Jacqueline LeGoddard Space Flight Center 2023Texto completo disponível |
|
2 |
Material Type: Outros
|
NASA Earth Science Technology Office (ESTO) Advanced Information Systems Technology (AIST) Program: Earth Systems Digital Twins (ESDT) Standards for Interoperable Digital Twins Workshop PresentationsMoigne-Stewart, Jacqueline J LeGoddard Space Flight Center 2023Texto completo disponível |
|
3 |
Material Type: Outros
|
Advanced Information Systems Technology (AIST) Overview & Current and Recent ProjectsMoigne-stewart, Jacqueline J LeGoddard Space Flight Center 2023Texto completo disponível |
|
4 |
Material Type: Outros
|
Standards for Interoperable Digital TwinsMoigne-stewart, Jacqueline J LeGoddard Space Flight Center 2023Texto completo disponível |
|
5 |
Material Type: Outros
|
Information Systems Technology for NASA Earth Systems Digital Twins (ESDT)Moigne, Jacqueline LeGoddard Space Flight Center 2023Texto completo disponível |
|
6 |
Material Type: Outros
|
High Performance Spacecraft Computing (HPSC) Middleware UpdateCudmore, AlanGoddard Space Flight Center 2019Texto completo disponível |
|
7 |
Material Type: Outros
|
Formalizing and Analyzing Requirements with FRETMavridou, AnastasiaAmes Research Center 2019Texto completo disponível |
|
8 |
Material Type: Outros
|
|
|
9 |
Material Type: Outros
|
Static Analysis Using Abstract InterpretationArthaud, MaximeAmes Research Center 2019Texto completo disponível |
|
10 |
Material Type: Outros
|
IKOS: Sound Static Program AnalysisArthaud, MaximeAmes Research Center 2019Texto completo disponível |