Skip to content
Home/ Formal Techniques in Real-Time and Fault-Tolerant Systems: 5th International Symposium, Ftrtft'98, L
Formal Techniques in Real-Time and Fault-Tolerant Systems: 5th International Symposium, Ftrtft'98, L

Formal Techniques in Real-Time and Fault-Tolerant Systems: 5th International Symposium, Ftrtft'98, L

No customer reviews yet ISBN 9783540650034 Springer

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.

About the author

Product details

BrandSpringer
Pub dateSep 2, 1998
ISBN-103540650032
ISBN-139783540650034
LanguageEnglish
Dimensions9.25 × 0.81 × 6.1 in
Weight2 lb
Last updated 2026-09-08 18:39
$57.47
In stock — ships in 24 hours with free tracking
Delivery by Monday, September 14, 2026
Qty
Sign in to Add to Saved list
Free delivery on orders over $35.
15-day returns. Any reason.
Secure checkout. We never store card details.

Readers who bought this also bought

More from Data Science - General
See all
Essential Guide to Image Processing [With CDROM]
<ul> <li>A complete introduction to the basic and intermediate concepts of image processing from the leading people in the field</li> <li>Up-to-date content, including statistical modeling of natural, anistropic diffusion, image quality and the latest developments in JPEG 2000 </li></ul> <p>This comprehensive and state-of-the art approach to image processing gives engineers and students a thorough introduction, and includes full coverage of key applications: image watermarking, fingerprint recognition, face recognition and iris recognition and medical imaging. <i>"This book combines basic image processing techniques with some of the most advanced procedures. Introductory chapters dedicated to general principles are presented alongside detailed application-orientated ones. As a result it is suitably adapted for different classes of readers, ranging from Master to PhD students and beyond." - Prof. Jean-Philippe Thiran, EPFL, Lausanne, Switzerland</i> <p><i></i></p> <p><i>"Al Bovik's compendium proceeds systematically from fundamentals to today's research frontiers. Professor Bovik, himself a highly respected leader in the field, has invited an all-star team of contributors. Students, researchers, and practitioners of image processing alike should benefit from the Essential Guide." - Prof. Bernd Girod, Stanford University, USA</i></p> <p><i></i></p> <p><i>"This book is informative, easy to read with plenty of examples, and allows great flexibility in tailoring a course on image processing or analysis." - Prof. Pamela Cosman, University of California, San Diego, USA</i></p>
$96.47