2 options
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.).
LIBRA QA76.9.C65 F67 2004
Available from offsite location
LIBRA Q341 .P7 2004
Available from offsite location
- Format:
- Book
- Conference/Event
- Conference Name:
- FORMATS 2004 (2004 : Grenoble, France)
- FTRTFT 2004 (2004 : Grenoble, France)
- Series:
- Lecture notes in computer science 0302-9743 ; 3253.
- Lecture notes in computer science, 0302-9743 ; 3253
- Language:
- English
- Subjects (All):
- Computer simulation--Congresses.
- Computer simulation.
- Temporal automata--Congresses.
- Temporal automata.
- Formal methods (Computer science)--Congresses.
- Formal methods (Computer science).
- Machine theory--Congresses.
- Machine theory.
- Robots--Congresses.
- Robots.
- Genre:
- Conference papers and proceedings.
- Physical Description:
- x, 395 pages : illustrations ; 24 cm.
- Place of Publication:
- Berlin ; New York : Springer, [2004]
- Notes:
- Includes bibliographical references and index.
- ISBN:
- 3540231676
- OCLC:
- 56616915
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.