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 <table><tr><td colspan="2"><strong style="font-size:1.This material is available do download at niSearch.com on Sergio Yovine, Yassine Lakhnech's eBooks, 2em;">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</strong><br/>Sergio Yovine, Yassine Lakhnech</td></tr> <tr> <td><b>Type:</b></td> <td>eBook</td> </tr> <tr> <td><b>Released:</b></td> <td>2004</td> </tr> <tr> <td><b>Publisher:</b></td> <td>Springer</td> </tr> <tr> <td><b>Page Count:</b></td> <td>415</td> </tr> <tr> <td><b>Format:</b></td> <td>pdf</td> </tr> <tr> <td><b>Language:</b></td> <td>English</td> </tr> <tr> <td><b>ISBN-10:</b></td> <td>3540231676</td> </tr> <tr> <td><b>ISBN-13:</b></td> <td>9783540231677</td> </tr> </table> 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

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!