Formal Techniques in Real-Time and Fault-Tolerant Systems
Format: Paperback
ISBN13: 9783540441656
Paperback|9783540441656
✨ Featured Offer
Brand New
$58.73
List Price: $54.99
🚚
See all 5 offers from $35.76 FREE standard delivery by: 05 Apr 2026
Overview
This volume contains the proceedings of FTRTFT 2002, the International S- posium on Formal Techniques in Real-Time and Fault-Tolerant Systems, held at the University of Oldenburg, Germany, 9-12 September 2002. This sym- sium was the seventh in a series of FTRTFT symposia devoted to problems and solutions in safe system design. The previous symposia took place in Warwick 1990, Nijmegen 1992, Lub ¨ eck 1994, Uppsala 1996, Lyngby 1998, and Pune 2000. Proceedings of these symposia were published as volumes 331, 571, 863, 1135, 1486, and 1926 in the LNCS series by Springer-Verlag. This year the sym- sium was co-sponsored by IFIP Working Group 2.2 on Formal Description of Programming Concepts. The symposium presented advances in the development and use of formal techniques in the design of real-time, hybrid, fault-tolerant embedded systems, covering all stages from requirements analysis to hardware and/or software - plementation. Particular emphasis was placed on UML-based development of real-time systems. Through invited presentations, links between the dependable systems and formal methods research communities were strengthened. With the increasing use of such formal techniques in industrial settings, the conference aimed at stimulating cross-fertilization between challenges in industrial usages of formal methods and advanced research. Inresponsetothecallforpapers,39submissionswerereceived.Eachsubm- sion was reviewed by four program committee members assisted by additional referees. At the end of the reviewing process, the program committee accepted 17 papers for presentation at the symposium.
| ISBN-13 | 9783540441656 |
|---|---|
| ISBN-10 | 3540441654 |
| Weight | 1.52 Pounds |
| Dimensions | 6.10 x 1.07 x 9.25 In |
| List Price | $54.99 |
| Edition | 1st Edition |
| Format | Paperback |
|---|---|
| Language | English |
| Pages | x, 462 pages |
| Publisher | Springer |
| Published On | 2002-08-28 |
View All Offers
Sort by:
Price
Condition
Seller
Seller Comments
Price
Used, Good
Seller details
GuthrieBooks
Spring Branch, TX, USA
Size: 9x6x1; Ex-library paperback in good condition with the usual markings and attachments. Excep...
Free delivery by: 05 Apr 2026
Used, Good
Seller details
Books From California
Simi Valley, CA, USA
Very Clean Copy-Over 500, 000 Internet Orders Filled.
Free delivery by: 05 Apr 2026
✨ Brand New
Seller details
Alibris
Sparks, NV, USA
Trade paperback (US). Glued binding. 462 p. Lecture Notes in Computer Science, 2469.
Free delivery by: 05 Apr 2026
Used, Like New
Seller details
GreatBookPrices-
Columbia, MD, USA
100% Money Back Guarantee. Brand New, Perfect Condition. We offer expedited shipping to all US locat...
Free delivery by: 05 Apr 2026
Used, Good
Seller details
Bonita
Santa Clarita, CA, USA
Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Free delivery by: 05 Apr 2026