Integration of Heterogeneous Formal Techniques for the Design of Avionics Systems

Integration of Heterogeneous Formal Techniques for the Design of Avionics Systems

著者名:

掲載資料名:

Proceedings of DASIA 2004 : DAta Systems In Aerospace, 28 June-1 July 2004, Nice, France

シリーズ名:

ESA SP

シリーズ巻号:

570

発行年:

2004

総ページ数:

10

出版情報:

Noordwijk, The Netherlands: ESA Publications Division

ISSN:

1609042X

ISBN:

9789290928812 [9290928816]

言語:

英語

請求記号:

E11690/570

資料種別:

国際会議録

詳細

TDL書誌ID:	ZA00049574
シリーズID:	PA00000009
会議名:	DASIA - DAta Systems In Aerospace - Conference
回次:	2004
会議開催地:	Nice, France
会議開催年:	2004.06.28-2004.07.01
論文注記:	DASIA 2004, 28 June - 1 July 2004, Boscolo Hotel Plaza, Nice, France. Session 7A: Coding Standards and Dependability Analysis

類似資料:

1 国際会議録 Transverse mode analysis of a laser beam with a non-optical technique R. de Saint Denis, M. Fromager, F. Porée, K. Ait-Ameur Society of Photo-optical Instrumentation Engineers	7 国際会議録 Experimental and theoretical investigation of a nonlinear lensing effect observed in a Cr:LiSAF laser Passilly, N., Fromager, M., Ait-Ameur, K., Moncorge, R., Doualan, J. -L., Hirth, A., Quarles, G. SPIE - The International Society of Optical Engineering
2 国際会議録 Diffractive optical element for improving the Z-scan technique sensitivity R. de Saint Denis, M. Fromager, E. Cagniot, K. Ait-Ameur Society of Photo-optical Instrumentation Engineers	8 国際会議録 The phase slit: a new laser component Passilly, N., Mechin, L., Gunther, C., Ait-Ameur, K. SPIE - The International Society of Optical Engineering
3 国際会議録 Knowledge Based Characterization of Cross-Models Constraints to Check Design and Modeling Requirements D. Simon Zayas, A. Monceaux, Y. Ait-Ameur ESA Communications	9 国際会議録 Experimental Study of Mixing Between a Heated Turbulent Flow and a Cold Airstream Transpirated Through a Porous Wall M. Michard, M. Ait Ameur, G. Brillant, F. Bataille American Society of Mechanical Engineers
4 国際会議録 Use of Simple diffractive optics for improving the dynamics of A self-Q-switched Cr:LiSAF laser [6054-27] Passilly N., Fromager M., Ait-Ameur K. SPIE - The International Society of Optical Engineering	10 国際会議録 Local field correction to instability threshold in laser-Lorentz equations Sanchez,F., Brunel,M., Martel,G., Ameur,K.Ait SPIE - The International Society for Optical Engineering
5 国際会議録 Brightness of diffracted laser beams Passilly, N., Martel, G., Ait-Ameur, K. SPIE - The International Society of Optical Engineering	11 国際会議録 Optical bistability in a bulk heavily doped Er:Yb:phosphate glass laser Fromager, M., Ait-Ameur, K., Sanchez, F., Martel, G. SPIE-The International Society for Optical Engineering
6 国際会議録 Whispering-gallery mode Nd-ZBLAN microlasers at 1.05 ｦﾌm Lissillour, F., Ait Ameur, K., Dubreuil, N., Stephan, G., Poulain, M. SPIE	12 国際会議録 Phase aperture: a new laser component? Ait-Ameur, K., Fromager, M. SPIE-The International Society for Optical Engineering

1

2

3

4

5

6

7

8

9

10

11

12