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
  16. Roberto M. Amadio, Mads Dam
    Pages 347-365
  17. Joost -Pieter Katoen, Rom Langerak, Diego Latella, Ed Brinksma
    Pages 385-404
  18. Martin Westhead, Simin Nadjm-Tehrani
    Pages 405-419
  19. F. S. de Boer, H. Tej, W. -P. de Roever, M. van Hulst
    Pages 420-439
  20. Simon Fowler, Andy Wellings
    Pages 440-458
  21. Morten Biehl, Nils Klarlund, Theis Rauhe
    Pages 459-462
  22. Amar Bouali, Jean -Paul Marmorat, Robert de Simone, Horia Toma
    Pages 463-466
  23. Franz Huber, Bernhard Schätz, Alexander Schmidt, Katharina Spies
    Pages 467-470
  24. Mario Marrero, Alvaro Suárez
    Pages 475-478
  25. Back Matter

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 Berlin Heidelberg 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
  • Buy this book on publisher's site
Industry Sectors
Finance, Business & Banking
IT & Software
Consumer Packaged Goods