Search:

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 TechniAuthor: Y Lakhnech; Sergio Yovine

Format Post in Technics BY Sergio Yovine, Yassine Lakhnech

3540231676 Shared By Guest

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 TechniAuthor: Y Lakhnech; Sergio Yovine Sergio Yovine, Yassine Lakhnech is available to download

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 TechniAuthor: Y Lakhnech; Sergio Yovine
Sergio Yovine, Yassine Lakhnech
Type: eBook
Released: 2004
Publisher: Springer
Page Count: 415
Format: pdf
Language: English
ISBN-10: 3540231676
ISBN-13: 9783540231677
This book constitutes the refereed proceedings of the joint International Conferences Formal Modelling 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.Formal techniques, modelling and ... Textbook 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.

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 TechniAuthor: Y Lakhnech; Sergio Yovine

You should be logged in to Download this Document. Membership is Required. Register here

Related Books on 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 TechniAuthor: Y Lakhnech; Sergio Yovine

Comments (0)

Currently,no comments for this book!