Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems PDF Download

Are you looking for read ebook online? Search for your book and save it on your Kindle device, PC, phones or tablets. Download Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems PDF full book. Access full book title Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems by Yassine Lakhnech. Download full books in PDF and EPUB format.

Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems

Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems PDF Author: Yassine Lakhnech
Publisher: Springer Science & Business Media
ISBN: 3540231676
Category : Computers
Languages : en
Pages : 405

Book Description
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.
➤