Skip to content
Home/ Formal Techniques in Real-Time and Fault-Tolerant Systems: 6th International Symposium, Ftrtft 2000
Formal Techniques in Real-Time and Fault-Tolerant Systems: 6th International Symposium, Ftrtft 2000

Formal Techniques in Real-Time and Fault-Tolerant Systems: 6th International Symposium, Ftrtft 2000

No customer reviews yet ISBN 9783540410553

The six Schools and Symposia on Formal Techniques in Real Time and Fault Tolerant Systems (FTRTFT) have seen the eld develop from tentative explo- tions to a far higher degree of maturity, and from being under the scrutiny of a few interested software designers and academics to becoming a well-established area of inquiry. A number of new topics, such as hybrid systems, have been g- minated at these meetings and cross-links explored with related subjects such as scheduling theory. There has certainly been progress during these 12 years, but it is sobering to see how far and how fast practice has moved ahead in the same time, and how much more work remains to be done before the design of a mission-critical system can be based entirely on sound engineering principles underpinned by solid scienti c theory. The Sixth School and Symposium were organized by the Tata Research - velopment and Design Centre in Pune, India. The lectures at the School were given by Ian Hayes (U. of Queensland), Paritosh Pandya (Tata Institute of F- damental Research), Willem-Paul de Roever (Christian Albrechts U. ) and Joseph Sifakis (VERIMAG). There were three invited lectures at the Symposium, by Werner Damm (U. of Oldenburg), Nicholas Halbwachs (VERIMAG) and Yoram Moses (Technion). A sizable number of submissions were received for the Symposium from a- hors representing 16 di erent countries.

About the author

Product details

Pub dateSep 6, 2000
ISBN-103540410554
ISBN-139783540410553
LanguageEnglish
Last updated 2026-09-08 09:19
$57.47
In stock soon — order now to reserve your copy
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
HTML Virtual Classroom
Fuller, Robert
$28.02
Interactive Computing Series: Microsoft FrontPage 2000 Brief Edition (Brief)
Laudon, Kenneth C
$39.81
Writing Hypertext and Learning: Conceptual and Empirical Approaches
Emerald Publishing Limited
$199.99
Advances in Imaging and Electron Physics: Volume 140
Hawkes, Peter W
$317.93
Essential Guide to Video Processing
Bovik, Alan C
$113.44
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