Blank Cover Image

Certification Aspects in Critical Embedded Software Development with Model Based Techniques: Detection of Unintended Functions

著者名:
掲載資料名:
The 5th IAASS Conference ‘A safer space for a safer world' : 17–19 October 2011,Versailles, France
シリーズ名:
ESA SP
シリーズ巻号:
699
発行年:
2012
総ページ数:
9
出版情報:
Noordwijk, The Netherlands: ESA Communications
ISSN:
1609042X
ISBN:
9789290922636 [929092263X]
言語:
英語
請求記号:
E11690/699
資料種別:
国際会議録

類似資料:

1 国際会議録 Cyber Security Threats to Safety-Critical, Space-Based Infrastructures

C.W. Johnson, A. Atencia-Yepez

ESA Communications
7 国際会議録 Embedded Thin-Film Sensor for Crack Detection and Monitoring in Fracture Critical Turbine Engine Components

S. J. Hudak, Jr., B. R. Lanning, G. M. Light, K. S. Chan, J. A. Moryl, J. R. Pruitt

American Society of Mechanical Engineers
2 国際会議録 Status of the New IAASS Software Safety Standard for Commercial Suborbital Vehicles

M. Klicker, A. Atencia Yepez

ESA Communications
8 国際会議録 Safety Cases for Global Navigation Satellite Systems' Safety of Life (SOL) Applications

C.W. Johnson, A. Atencia Yépez

ESA Communications
3 国際会議録 Validation & Safety Constraints: What We Want to Do...What We Can Do

A. Atencia Yépez, B. Martín Peiró, S. Bory

ESA Communications
9 国際会議録 Safety Critical Systems Certification: Tool Qualification for Hardware and Software

A.J. Kornecki, J. Voelmle, J. Zalewski

ESA Communications
4 国際会議録 Certification of Galileo: Software Aspects

J. P. Blanquart, G. Bulsa, P. Robert, T. Skramstad, J.-L. Terraillon

ESA Publications Division
10 国際会議録 Preparation and Characterization of a Novel Polymer Electrolyte Based on Lithium Hexafluoroarsenate

Cerqueira Barros, S., Silva, M.M., Smith, M.J., MacCallum, J.R.

Trans Tech Publications
5 国際会議録 Suborbital Safety Technical Committee - Summary of Proposed Standards & Guidelines

A. Quinn, A. Atencia Yepez, M. Klicker

ESA Communications
11 国際会議録 Realization of an embedded fiber Bragg grating-based pressure sensor in fiber-reinforced composites: embedding techniques and performance characteristics

Hao, J., Tjin, S.C., Chaudhui, P.R., Liaw, C.-Y., Guo, X., Lu, C.

SPIE - The International Society of Optical Engineering
6 国際会議録 Study on a novel laser target detection system based on software radio technique

S. Song, J. Deng, X. Wang, Z. Gao, J. Sun

Society of Photo-optical Instrumentation Engineers
12 国際会議録 The development of a fast radiative transfer model based on an empirical orthogonal functions (EOF) technique

S. Havemann

SPIE - The International Society of Optical Engineering
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12