|
|
Volumn , Issue , 2008, Pages
|
|
Trust your model - Verifying aerospace system models with Java™ Pathfinder
|
|
Author keywords
[No Author keywords available]
|
|
Indexed keywords
AEROSPACE SYSTEMS;
DE FACTO STANDARDS;
DEVELOPMENT SYSTEMS;
JAVA CODES;
MODEL-DRIVEN DEVELOPMENT;
MODELING ASPECTS;
MODELING LANGUAGES;
PRODUCTION SYSTEMS;
PROGRAM STATES;
PROGRAMMING LANGUAGES;
SOFTWARE MODEL CHECKERS;
SPACECRAFT MODELING;
STATE CHARTS;
STATE MACHINES;
ARSENIC;
BASIC (PROGRAMMING LANGUAGE);
CHLORINE COMPOUNDS;
CODES (STANDARDS);
CODES (SYMBOLS);
COMPUTER PROGRAMMING LANGUAGES;
COMPUTER SIMULATION LANGUAGES;
COMPUTER SOFTWARE;
COMPUTER SOFTWARE SELECTION AND EVALUATION;
GRAPHIC METHODS;
JAVA PROGRAMMING LANGUAGE;
LINGUISTICS;
MODEL STRUCTURES;
PROGRAM TRANSLATORS;
QUERY LANGUAGES;
STANDARDS;
STATIC ANALYSIS;
UNIFIED MODELING LANGUAGE;
MODEL CHECKING;
|
|
EID: 49349088491
PISSN: 1095323X
EISSN: None
Source Type: Conference Proceeding
DOI: 10.1109/AERO.2008.4526573 Document Type: Conference Paper |
|
Times cited : (17)
|
|
References (10)
|
