1.

Conference Proceedings
Conference Proceedings
1. Automated Verification of Code Generated from Models: Comparing Specifications with Observations
R. Gerlich ; D. Sigg
Pub. info.: DASIA 2008 : Data Systems In Aerospace, 27–30 May 2008, Palma de Majorca, Spain.  2008.  Noordwijk, The Netherlands.  ESA Communications
Title of ser.: ESA SP
Ser. no.: 665
2.

Conference Proceedings
Conference Proceedings
2. Model Transformation in Practice
R. Gerlich ; D. Sigg
Pub. info.: Proceedings of DASIA 2007 : Data Systems In Aerospace, 29 May-1 June 2007, Naples, Italy.  2007.  Noordwijk, The Netherlands.  ESA Communication Production Office
Title of ser.: ESA SP
Ser. no.: 638
3.

Conference Proceedings
Conference Proceedings
3. Automated Software Production - Quo Vadis?
R. Gerlich ; D. Sigg
Pub. info.: Proceedings of DASIA 2005 : Data Systems In Aerospace, 30 May-2 June 2005, Edinburgh, Scotland.  2005.  Noordwijk, The Netherlands.  ESA Publications Division
Title of ser.: ESA SP
Ser. no.: 602