- 充值
- 会员
- 职称材料
文献信息
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.
Software EngineeringModel CheckingSoftware DevelopmentMachine LearningUnified Modeling LanguageEmbedded SystemsSpecial IssueFormal SpecificationModel CheckerFormal VerificationSoftware Defect PredictionModeling LanguageTemporal LogicSafety-critical SystemsDeep LearningSoftware ProjectFunctional RequirementsCase StudyFormal ModelingModel Transformation
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)