Blank Cover Image

Approaches for Pure Software System Verification Facilities

著者名:
掲載資料名:
Proceedings of DASIA 2005 : Data Systems In Aerospace, 30 May-2 June 2005, Edinburgh, Scotland
シリーズ名:
ESA SP
シリーズ巻号:
602
発行年:
2005
総ページ数:
9
出版情報:
Noordwijk, The Netherlands: ESA Publications Division
ISSN:
1609042X
ISBN:
9789290929130 [9290929138]
言語:
英語
請求記号:
E11690/602
資料種別:
国際会議録

類似資料:

1 国際会議録 Architecture Framework for Satellite On-Board Software

J. C. Koot, P. G. Beertuizen

ESA Publications Division
7 国際会議録 Development of a Safety Critical Hard Real-Time System in a World of Changes

Maegaard, C., Beerthuizen, P.

ESA Publications Division
2 国際会議録 ONBOARD SOFTWARE DESIGN & DEVELOPMENT ISSUES FOR THE 'ERA'

Beerthuizen, P.G.

ESA Publications Division
8 国際会議録 The ConeXpress System Facility (CSF) - Application of a Full Life-Cycle Concept

R. Blommestijn, P. Beerthuizen

ESA Publications Division
3 国際会議録 The SPADeS (Smart Parafoil Autonomous Delivery System) Precision Airdrop System

P.G. Beerthuizen, J.W. Wegereef

ESA Communications
9 国際会議録 Test results of the VLTI Delay Line verification program

Hogenhuis,H., Visser,M., Ruwiel,G., Hommes,F., Wielders,A., Couwenberg,A.

SPIE - The International Society for Optical Engineering
4 国際会議録 Experiences with ADA in ISO AOCS

Beerthuizen, P. G., Oort, M.J.A.

ESA Publications Division
10 国際会議録 Designing for Failure

P. Beerthuizen

ESA Publications Division
5 国際会議録 Design Decomposition Strategies, and their Impact on Requirements Elicitation and Specification

P. G. Beerthuizen

ESA Publications Division
11 国際会議録 The Lambda Approach to System Verification

Hughes B. R., Musgrave G.

Kluwer Academic Publishers
6 国際会議録 ERA - The processor challenge

Beerthuizen, P.G.

ESA Publications Division
12 国際会議録 ERA Safety Strategy

Beerthuizen, P.G., Maegaard, C., Rusconi, A.

ESA Publications Division
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12