Blank Cover Image

Automated Verification of Code Generated from Models: Comparing Specifications with Observations

Author(s):
Publication title:
DASIA 2008 : Data Systems In Aerospace, 27–30 May 2008, Palma de Majorca, Spain
Title of ser.:
ESA SP
Ser. no.:
665
Pub. Year:
2008
Pages:
10
Pub. info.:
Noordwijk, The Netherlands: ESA Communications
ISSN:
1609042X
ISBN:
9789292212292 [929221229X]
Language:
English
Call no.:
E11690/665
Type:
Conference Proceedings

Similar Items:

R. Gerlich, D. Sigg

ESA Publications Division

2 Conference Proceedings Model Transformation in Practice

R. Gerlich, D. Sigg

ESA Communication Production Office

Ralf Gerlich, Rainer Gerlich, M. Prochazka

ESA Communications

Gerlich, R.

ESA Publications Division

M.L. Bolton, N. Jimenez, M.M. van Paassen, M. Trujillo

ESA Communications

R. Gerlich, C. Dietrich

ESA Communications

Birk, M., Brammer, U., Ziegler, M., Lattner, K., Gerlich, R.

ESA Publications Division

R. Gerlich

ESA Communications

Gerlich, R., Birk, M., Brammer, U., Ziegler, M., Lattner, K.

ESA Publications Division

C.R. Prause, R. Gerlich, A. Fischer

ESA Communications

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