Cover Image
Read Now

1
Published 2001
Springer Berlin Heidelberg
Table of Contents: “...Invited Papers -- Building Formal Requirements Models for Reliable Software -- Using Ada...”
Cover Image
Read Now

3
Published 2004
Springer Berlin Heidelberg
Table of Contents: “...: A Schizophrenic Middleware to Build Versatile Reliable Distributed Applications -- Event Language...”
Cover Image
Read Now

4
Published 1996
Springer Berlin Heidelberg
Table of Contents: “...Programming the Internet in Ada 95 -- Reliability modeling for safety critical software -- Fault...”
Cover Image
Read Now

5
Published 2002
Springer Berlin Heidelberg
Table of Contents: “...-kernel on Embedded Devices for the Reliable Execution of Dynamically Uploaded Applications -- Real-Time...”
Cover Image
Read Now

6
by Llamosi, Albert
Published 2004
Springer Berlin Heidelberg
Cover Image
Read Now

7
by Craeynest, Dirk
Published 2001
Springer-Verlag Berlin Heidelberg
Cover Image
Read Now

8
by Rosen, Jean-Pierre
Published 2003
Springer Berlin Heidelberg
Cover Image
Read Now

9
Published 2003
Springer Berlin Heidelberg
“...The8thInternationalConferenceonReliableSoftwareTechnologies,Ada-Europe 2003,tookplaceinToulouse...”