Can I read Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems Volume 3253 on EtoBox?

Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems Volume 3253 by Lakhnech, Yassine; Yovine, Sergio is a scholarly article available to read on EtoBox.

What is Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems Volume 3253 about?

This book constitutes the refereed proceedings of the joint International Conferences Formal Modeling and Analysis of Timed Systems, FORMATS 2004, and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, held in Grenoble, France, in September 2004. The 24 revised full papers presented together with abstracts of 2 invited talks were carefully reviewed and selected from 70 submissions. Among the topics addressed are formal verification, voting systems, formal specification, dependable automation systems, model checking, timed automata, real-time testing, fault-tolerance protocols, fail-safe fault tolerance, real-time scheduling, satisfiability checking, symbolic model checking, stochastic hybrid systems, timed Petri nets, and event recording automata.

Author

Lakhnech, Yassine; Yovine, Sergio

Publisher

Springer Berlin Heidelberg : Imprint: Springer

Published

2004

Language

EN

ISBN

9783540302063