Lecture Notes in Computer Science

Formal Techniques in Real-Time and Fault-Tolerant Systems

Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCos, Lübeck, Germany, September 19 - 23, 1994. Proceedings

Editors: Langmaack, Hans, Roever, Willem-Paul de, Vytopil, Jan (Eds.)

Free Preview

Buy this book

eBook 107,09 €
price for Spain (gross)
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-48984-9
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 135,19 €
price for Spain (gross)
  • ISBN 978-3-540-58468-1
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
About this book

This volume presents the proceedings of the Third International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems held jointly with the Working Group Provably Correct Systems (ProCoS) at Lübeck, Germany in September 1994.
The book contains full versions of 5 invited talks and 33 carefully selected refereed contributions as well as 12 tool demonstrations. It documents that formal techniques constitute the foundation of a systematic design of real-time, fault-tolerant, and hybrid systems, throughout the whole engineering process, from the capture of requirements through specification, design, coding and compilation, right down to the hardware that embeds the system into its environment.

Table of contents (39 chapters)

Table of contents (39 chapters)
  • Hybrid verification by exploiting the environment

    Pages 1-18

    Fix, Limor (et al.)

  • Correctness of real time systems by construction

    Pages 19-40

    Hooman, Jozef

  • Specifying and verifying fault-tolerant systems

    Pages 41-76

    Lamport, Leslie (et al.)

  • Development of hybrid systems

    Pages 77-85

    Pnueli, Amir

  • Linear duration invariants

    Pages 86-109

    Chaochen, Zhou (et al.)

Buy this book

eBook 107,09 €
price for Spain (gross)
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-48984-9
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 135,19 €
price for Spain (gross)
  • ISBN 978-3-540-58468-1
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
Loading...

Services for this Book

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Formal Techniques in Real-Time and Fault-Tolerant Systems
Book Subtitle
Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCos, Lübeck, Germany, September 19 - 23, 1994. Proceedings
Editors
  • Hans Langmaack
  • Willem-Paul de Roever
  • Jan Vytopil
Series Title
Lecture Notes in Computer Science
Series Volume
863
Copyright
1994
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-48984-9
DOI
10.1007/3-540-58468-4
Softcover ISBN
978-3-540-58468-1
Series ISSN
0302-9743
Edition Number
1
Number of Pages
XIV, 787
Topics