Enlarge

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

Publication Data

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
Contributors Y. Lakhnech, Sergio Yovine
Publisher Springer
Publication date 2004
Publication location Berlin
Language English

Topics

Computer simulation :: Congresses
Temporal automata :: Congresses
Formal methods (Computer science) :: Congresses
Machine theory :: Congresses
Robots :: Congresses

Catalogue Data

OBNB ID GBA488677
ISBN 10 3540231676
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 003.3

ISBD

P1053 x, 395 p.
P1042 Includes bibliographical references and index.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

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. ISBN 3540231676. Published by Springer in 2004. Publication and catalogue information, links to buy online and reader comments.