Franklin

Formal techniques in real-time and fault-tolerant systems : 7th International Symposium, FTRTFT 2002, co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002 : proceedings / Werner Damm, Ernst-Rùˆdiger Olderog (eds.).

Publication:
Berlin ; New York : Springer, c2002.
Format/Description:
Conference/Event
Book
x, 453 p. : ill. ; 24 cm.
Conference Name:
FTRTFT 2002 (2002 : Oldenburg, Germany)
Series:
Lecture notes in computer science, 0302-9743 ; 2469
Status/Location:
Loading...

Get It

Details

Subjects:
Real-time data processing -- Congresses.
Fault-tolerant computing -- Congresses.
Notes:
Includes bibliographical references and index.
Contributor:
Damm, Werner.
Olderog, E.-R.
ISBN:
3540441654 (softcover : alk. paper)
OCLC:
50334058