1.

国際会議録
国際会議録
1. Validation & Safety Constraints: What We Want to Do...What We Can Do
A. Atencia Yépez ; B. Martín Peiró ; S. Bory
出版情報: Proceedings of the fourth IAASS Conference "Making Safety Matter" : 19-21 May 2010, Huntsville, Alabama, USA.  2010.  Noordwijk.  ESA Communications
シリーズ名: ESA SP
シリーズ巻号: 680
2.

国際会議録
国際会議録
2. Safety Cases for Global Navigation Satellite Systems' Safety of Life (SOL) Applications
C.W. Johnson ; A. Atencia Yépez
出版情報: Proceedings of the fourth IAASS Conference "Making Safety Matter" : 19-21 May 2010, Huntsville, Alabama, USA.  2010.  Noordwijk.  ESA Communications
シリーズ名: ESA SP
シリーズ巻号: 680
3.

国際会議録
国際会議録
3. Certification Aspects in Critical Embedded Software Development with Model Based Techniques: Detection of Unintended Functions
A. Atencia Yépez ; J. Autrán Cerqueira ; S. Urueña ; R. Jurado
出版情報: The 5th IAASS Conference ‘A safer space for a safer world' : 17–19 October 2011,Versailles, France.  2012.  Noordwijk, The Netherlands.  ESA Communications
シリーズ名: ESA SP
シリーズ巻号: 699