Table of contents

  1. Front Matter
  2. Flaviu Cristian
    Pages 1-21
  3. Natarajan Shankar
    Pages 22-39
  4. Gerard J. Holzmann
    Pages 40-54
  5. Andrea Maggiolo-Schettini, Adriano Peron
    Pages 55-71
  6. F. Maraninchi, N. Halbwachs
    Pages 72-89
  7. Stephen Paynter
    Pages 90-109
  8. Pedro R. D'Argenio, Ed Brinksma
    Pages 110-129
  9. Jan Springintveld, Frits Vaandrager
    Pages 130-147
  10. Martin Fränzle
    Pages 168-187
  11. Dang Van Hung, Phan Hong Giang
    Pages 188-207
  12. Annie Choquet-Geniet, Dominique Geniet, Francis Cottet
    Pages 246-262
  13. Renzo Davoli, Fabio Tamburini, Luigi -Alberto Giachini
    Pages 263-278
  14. Aohan Mei, Yoshihide Igarashi, Naoki Shimizu
    Pages 298-305
  15. Ahmed Bouajjani, Yassine Lakhnech, Sergio Yovine
    Pages 306-326

About these proceedings


This volume constitutes the refereed proceedings of the Fourth International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFTS '96, held in Uppsala, Sweden, in September 1996.
The 22 revised full papers presented were selected from a total of 61 submissions; also included are three invited contributions and five tools demonstrations. The papers are organized in sections on state charts, timed automata, duration calculus, case studies, scheduling, fault tolerance, specification, and verification.


Echtzeit-Systeme Fault-Tolerant Systems Fehlertoplerante Systeme Formal Methods Formale Methoden Kernel Real-Time Systems Sicherheitsrelevanter Systementwurf Software Architektur System Variable automata formal method formal verification verification

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag 1996
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-61648-1
  • Online ISBN 978-3-540-70653-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book
Industry Sectors