Search alternatives:
europe's mission » european emission, european missions, europe's migration
Cover Image
Read Now

1
Published 1994
Springer Berlin Heidelberg
Table of Contents: “... in real-time on-board autonomous mission control -- Safety aspects of the Ariane 5 on-board software...”
Cover Image
Read Now

2
Published 2015
Springer International Publishing
Table of Contents: “... of the Rosetta Space Mission.- Extensible Debugger Framework for Extensible Languages -- Static Backward Program...”
Cover Image
Read Now

3
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... Tolerance Using Ada 95 -- Ravenscar Technology -- GNAT Pro for On-board Mission-Critical Space Applications...”
Cover Image
Read Now

4
Published 2001
Springer Berlin Heidelberg
“...The Sixth International Conference on Reliable Software Technologies, Ada- Europe 2001, took place...”
Cover Image
Read Now

5
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... Software Related Failures in Space Missions -- Object Orientation -- Modular Verification of Static Class...”
Cover Image
Read Now

6
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... and Use of Formal Methods -- Verifying Emulation of Legacy Mission Computer Systems -- Improving Safety...”
Cover Image
Read Now

7
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... in ‘Europe 2045‘ Uses Petri Nets -- Narrative Construction in a Mobile Tour Guide -- Developing Virtual...”
Cover Image
Read Now

8
by Deibert, Ronald
Published 2008
MIT Press