A Software Safety Certification Tool for Automatically Generated Guidance, Navigation and Control Code

Source URL: ti.arc.nasa.gov

• Cross-platform software
• Numerical software
• Formal methods
• Simulation software
• Linear algebra
• MATLAB
• Simulink
• Verification condition generator
• Formal verification
• Command-line interface
• HTML element

Modello Comunicato stampa

Source URL: www3.ti.ch

impag. novembre/dicembre 2007

Source URL: www.ssic-ti.ch

Formal Safety Certification of Auto-Generated Aerospace Software Ewen Denney and Bernd Fischer {edenney,fisch}@email.arc.nasa.gov USRA/RIACS, NASA Ames Research Center, Moffett Field, CA 94035, USA Code generators can ad

Source URL: ti.arc.nasa.gov

• Formal methods
• Theoretical computer science
• Failure
• Materials science
• Reliability engineering
• Survival analysis
• DO-178B
• Exception handling
• Formal verification
• Software development process
• KeY
• Software development

2008 annual report 200 sec. Incorporat ed Resear ch Ins ti tutions for Seismolog y

Source URL: www.iris.edu

ClassPad II fx-CP400 PRIZM™ fx-CG10 fx-9750GII

Source URL: www.casioeducation.com

• Graphing calculators
• Programmable calculators
• TI-Nspire series
• Casio ClassPad 300
• TI-84 Plus series
• Logarithm
• Function

PADRINATI 2011 NICARAGUA Ti invitiamo di cuore a sostenere uno dei bimbi del Cantro per disabili

Source URL: www.memorialflavia.ch

 TI-89 / TI-92 Plus / Voyage™ 200 Cabri Geometry Vigtige oplysninger Installationsinstruktioner Kundeservice

Source URL: www.solocalculadoras.com

Journal of Business Economics and Information Technology IS S N : 2 39 3 – 32 59 VO L UME I I, IS S UE 2 , Ap r i lh ttp:// s ci en ti fi c edu c ati on . o rg

Source URL: www.scientificeducation.org

• Innovation economics
• Design
• Innovation
• Environmental regulation of small and medium enterprises

CAMERA DI COMMERCIO E DELL’INDUSTRIA CANTONE TICINO Formazione Perfezionamento Corso di aggiornamento sulle conoscenze

Source URL: www.cc-ti.ch