Lecture Notes in Computer Science

Formal Techniques in Real-Time and Fault-Tolerant Systems

5th International Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings

Editors: Ravn, Anders P., Rischel, Hans (Eds.)

Buy this book

eBook 59,49 €
price for Spain (gross)
  • ISBN 978-3-540-49792-9
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 72,79 €
price for Spain (gross)
  • ISBN 978-3-540-65003-4
  • 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 book constitutes the refereed proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT'98, held in Lyngby, Denmark, in September 1998.
The 22 revised full papers presented were carefully selected and reviewed for inclusion in the book. Also included are four invited contributions and five tool demonstrations. The papers address the current aspects of the hot topic of embedded systems, in particular temporal logic, requirements engineering, analysis techniques, verification, model checking, and applications.

Table of contents (31 chapters)

  • Challenges in the utilization of formal methods

    Knight, John C.

    Pages 1-17

  • On the need for practical formal methods

    Heitmeyer, Constance

    Pages 18-26

    Preview Buy Chapter 30,19 €
  • A general framework for the composition of timed systems

    Sifakis, Joseph

    Pages 27-28

  • Operational and logical semantics for polling real-time systems

    Dierks, Henning (et al.)

    Pages 29-40

  • A finite-domain semantics for testing temporal logic specifications

    Coen-Porisini, Alberto (et al.)

    Pages 41-54

Buy this book

eBook 59,49 €
price for Spain (gross)
  • ISBN 978-3-540-49792-9
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 72,79 €
price for Spain (gross)
  • ISBN 978-3-540-65003-4
  • 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...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Formal Techniques in Real-Time and Fault-Tolerant Systems
Book Subtitle
5th International Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings
Editors
  • Anders P. Ravn
  • Hans Rischel
Series Title
Lecture Notes in Computer Science
Series Volume
1486
Copyright
1998
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-49792-9
DOI
10.1007/BFb0055330
Softcover ISBN
978-3-540-65003-4
Series ISSN
0302-9743
Edition Number
1
Number of Pages
IX, 347
Topics