CYBER DEAL: 50% off all Springer eBooks | Get this offer!

Lecture Notes in Computer Science

Formal Techniques in Real-Time and Fault-Tolerant Systems

4th International Symposium, Uppsala, Sweden, September 9 - 13, 1996, Proceedings

Editors: Jonsson, Bengt, Parrow, Joachim (Eds.)

Free Preview

Buy this book

eBook $99.00
price for USA in USD
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-70653-3
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $129.00
price for USA in USD
About this book

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.

Table of contents (30 chapters)

Table of contents (30 chapters)
  • On the semantics of group communication

    Pages 1-21

    Cristian, Flaviu

  • Unifying verification paradigms

    Pages 22-39

    Shankar, Natarajan

  • Formal methods for early fault detection

    Pages 40-54

    Holzmann, Gerard J.

  • Retiming techniques for Statecharts

    Pages 55-71

    Maggiolo-Schettini, Andrea (et al.)

  • Compiling Argos into Boolean equations

    Pages 72-89

    Maraninchi, F. (et al.)

Buy this book

eBook $99.00
price for USA in USD
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-70653-3
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $129.00
price for USA in USD
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Formal Techniques in Real-Time and Fault-Tolerant Systems
Book Subtitle
4th International Symposium, Uppsala, Sweden, September 9 - 13, 1996, Proceedings
Editors
  • Bengt Jonsson
  • Joachim Parrow
Series Title
Lecture Notes in Computer Science
Series Volume
1135
Copyright
1996
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-70653-3
DOI
10.1007/3-540-61648-9
Softcover ISBN
978-3-540-61648-1
Series ISSN
0302-9743
Edition Number
1
Number of Pages
X, 490
Topics