Login       My Wishlist
  My Cart
$0.00 / 0 items
 
EMS Linux
Utilizing the Best Tools With Linux
 
International Access
Global Shipping Options Available
  Our Catalog   Software Design, Testing & Engineering   Quality Control

Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, ... (Lecture Notes in Computer Science)


Blowout Sale! Free Shipping Included! Save 59% on the Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, ... (Lecture Notes in Computer Science) by Springer at EMS Linux. MPN: illustrations. Hurry! Limited time offer. Offer valid only while supplies last. This volume contains the proceedings of FTRTFT 2002, the International S- posium on Formal Techniques in Real-Time and Fault-Tolerant Systems, held


Product Description

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.

Additional Information

Manufacturer:Springer
Part Number:illustrations
Publisher:Springer
Studio:Springer
MPN:illustrations
EAN:9783540441656
Item Weight:1.5 pounds
Item Size:1.07 x 9.25 x 9.25 inches
Package Weight:1.5 pounds
Package Size:6 x 1.03 x 1.03 inches

Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, ... (Lecture Notes in Computer Science) by Springer

Buy Now:
Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, ... (Lecture Notes in Computer Science)

Brand: Springer
4.2 out of 5 stars with 52 reviews
Condition: New
Lead Time: 1 - 2 Business Days
Availability: In Stock
$129.00
$53.71
You Save: 58%


Quantity:  

 


View More In Quality Control.

 


Have questions about this item, or would like to inquire about a custom or bulk order?


If you have any questions about this product by Springer, contact us by completing and submitting the form below. If you are looking for a specif part number, please include it with your message.

First Name:
Last Last:
Email Address:
Your Message:

Related Best Sellers


By Brand: Springer
mpn: biography, ean: 9783540488194, isbn: 3540488197,
This book constitutes the thoroughly refereed post-proceedings of the Second International Conference on the Quality of Software Architectures, QoSA 2006, held in Västerås, Sweden in June 2006, co-located with the 9th International Symposium on Com...

By Springer
ean: 9783540614746, isbn: 3540638946,
This book constitutes the refereed proceedings of the 8th International Conference on Computer Aided Verification, CAV '96, held in New Brunswick, NJ, USA, in July/August 1996 as part of the FLoC '96 federated conference.The volume presents 32 revise...

By Springer
ean: 9783540615804, isbn: 3540615806,
Partial Evaluation has reached a point where theory and techniques have matured, substantial systems have been developed, and realistic applications can benefit from partial evaluation.This book is based on the International Seminar on Partial Evalua...

By Brand: Springer
ean: 9783540646181, isbn: 3540646183,
I am pleased to introduce this publication based on one of the deliverables of the NO PROBLEMS project. This is one of the projects co-financed by the European Commission in the framework of the TEN-Telecom programme. Electronic commerce is high up o...

By Springer
ean: 9783540660934, isbn: 3540660933,
The Fourth International Conference on Reliable Software Technologies, Ada- Europe’99, took place in Santander, Spain, from June 7 to 11, 1999. It was sponsored by Ada Europe, the European federation of national Ada societies, in cooperation with A...

By Springer
ean: 9783540664833, isbn: 3540664831,
The idea of creating the European Dependable Computing Conference (EDCC) was born at the moment when the Iron Curtain fell. A group of enthusiasts, who were pre viously involved in research and teaching in the ?eld of fault tolerant computing in diff...

By World Scientific Pub Co Inc
ean: 9789810237516, isbn: 9810237510,
With better computing facilities now available, there is an ever-increasing need to ensure that elegant theoretical results on hardware reliability are computationally available. This book discusses those aspects which have relevance to computing sys...

By Prentice Hall
ean: 9780133762600, isbn: 0133762602,
Choose the right software quality methodology, and make it work efficiently. Some organizations have established ISO 9000 quality certification or the Software Engineering Institute's Capability Maturity Model (CMM) as requirements for doing business...

By Wiley-Interscience
ean: 9780471010098, isbn: 047101009X,
Is software quality testing really effective or just a waste of time? The skeptics conclude that it is an exercise in futility to try to measure the reliability and safety of these complex systems under all critical circumstances. They contend that q...

By *A Wiley-QED Publication
ean: 9780471588047, isbn: 0471588040,
Quality Assurance for Information Systems Methods, Tools, and Techniques William E. Perry Here’s the latest information on developing defect-free software. Completely revised and expanded, Quality Assurance for Information Systems: Methods, Tools, ...



Privacy Policy / Terms of Service
© 2018 - emslinux.com. All Rights Reserved.