ENGLISH

Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems: Joint International Conferences on Formal Modeling and Analysis of Timed Systmes, FORMATS 2004, and Formal Techniques in Real-Time and Fault -Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004. Proceedings

By Paul Feautrier (auth.) , Yassine Lakhnech , Sergio Yovine (eds.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
2004
ISBN
978-3-540-23167-7, 978-3-540-30206-3, 3-540-23167-6
DOI
10.1007/b100824
Language
english
Format
PDF
Filesize
4 MB (4506621 bytes)
Series
Lecture Notes in Computer Science 3253
Edition
1
Pages
402\405
Time added
2014-01-18 08:00:00
CompilersInterpreters; Processor Architectures; Special PurLogics and Meanings of Programs; Programming Langu

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.

Similar books