Research Catalog

Title

Formal techniques, modelling and analysis of timed and fault-tolerant systems : joint international conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004 : proceedings / Yassine Lakhnech, Sergio Yovine (Eds.).

Author

FORMATS 2004 (2004 : Grenoble, France)

Publication

Berlin ; New York : Springer, c2004.

Items in the Library & Off-site

Details

Additional Authors

• Lakhnech, Y. (Yassine)
• Yovine, Sergio.
• FTRTFT 2004 (2004 : Grenoble, France)

Description

x, 395 p. : ill.; 24 cm.

Series Statement

Lecture notes in computer science, 0302-9743 ; 3253

Subjects

• Computer simulation > Congresses
• Machine theory > Congresses
• Fault-tolerant computing > Congresses
• Formal methods (Computer science) > Congresses
• Robots > Congresses
• Temporal automata > Congresses
• Real-time data processing > Congresses

Bibliography (note)

• Includes bibliographical references and index.

Additional Formats (note)

• Also issued online.

Call Number

JSE 05-198

ISBN

3540231676 (pbk.)

LCCN

2004112582

OCLC

56616915

Conference

FORMATS 2004 (2004 : Grenoble, France)

Title

Formal techniques, modelling and analysis of timed and fault-tolerant systems : joint international conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004 : proceedings / Yassine Lakhnech, Sergio Yovine (Eds.).

Imprint

Berlin ; New York : Springer, c2004.

Series

Lecture notes in computer science, 0302-9743 ; 3253

Bibliography

Includes bibliographical references and index.

Additional Formats

Also issued online.

Connect to:

Restricted to Springer LINK subscribers

Added Author

Lakhnech, Y. (Yassine)

Yovine, Sergio.

FTRTFT 2004 (2004 : Grenoble, France)

Research Call Number

JSE 05-198