- 充值
- 会员
- 职称材料
文献信息
Papers are solicited from NASA and government employees, contractors, NASA-supported academic and industrial partners, and non-NASA-supported academics and industrialists both in the USA and worldwide. The journal includes updates on NASA innovations, articles on NASA initiatives, papers looking at educational activities, and a State-of-the-Art section that gives an overview of specific topic areas in a comprehensive format written by an expert in the field.
Model CheckingSoftware EngineeringSoftware DevelopmentMachine LearningUnified Modeling LanguageEmbedded SystemsSpecial IssueModel CheckerFormal VerificationSoftware Defect PredictionFormal SpecificationModeling LanguageTemporal LogicDeep LearningSoftware ProjectCase StudyFormal ModelingModel TransformationSafety-critical SystemsFunctional Requirements
vol.22 (2026)
vol.21 (2025)
vol.20 (2024)
vol.19 (2023)
vol.18 (2022)
vol.17 (2021)
vol.16 (2020)
vol.15 (2019)
vol.14 (2018)
vol.13 (2017)
vol.12 (2016)
vol.11 (2015)
vol.10 (2014)
vol.9 (2013)
vol.8 (2012)
vol.7 (2011)
vol.6 (2010)
vol.5 (2009)
vol.4 (2008)
vol.3 (2007)
vol.2 (2006)
vol.1 (2005)