This book presents state-of-the-art research results in the area of formal methods for real-time and fault-tolerant systems. The papers consider problems and solutions in safety-critical system design and examine how wellthe use of formal techniques for design, analysis and verification serves in relating theory to practical realities. The book contains papers on real-time and fault-tolerance issues. Formal logic, process algebra, and action/event models are applied: - to specify and model qualitative and quantitative real-time and fault-tolerant behavior, - to analyze timeliness requirements and consequences of faulthypotheses, - to verify protocols and program code, - to formulate formal frameworks for development of real-time and fault-tolerant systems, - to formulate semantics of languages. The integration and cross-fertilization of real-time and fault-tolerance issues have brought newinsights in recent years, and these are presented in this book.

Rese�a del editor:

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.

Anbieterinformationen

Welcome to B-Line Books. Please search or browse our inventory of hard to find, out of print, used, and rare books. We have an inventory of over 22,000 listings with new stock being added continually. There is a large presence in many categories, including POETRY, HISTORY, LITERARY CRITICISM and FIRST EDITION FICTION, areas in which we have some experience, and other large categories, like ARCHITECTURE and ART, where we are mere laity. Photos available on request.

Zur Homepage des Verk�ufers

Unternehmensdaten des Verk�ufers

B-Line Books
NS, Canada

Gesch�ftsbedingungen:

We guarantee the condition of every book as it�s described on the Abebooks web sites. If you�re dissatisfied with your purchase (Incorrect Book/Not as Described/Damaged) or if the order hasn�t arrived, you�re eligible for a refund within 30 days of the estimated delivery date. If you have changed your mind about a book that you have ordered, please use the Ask bookseller a question link to contact us and we�ll respond within 2 business days.

Versandinformationen:

Shipping costs are based on books weighing up to 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.

Zahlungsarten
akzeptiert von diesem Verk�ufer

Vorauskasse Money Order PayPal Bank�berweisung

Zu Kaufgesuchen hinzuf�gen

Verwandte Artikel zu Formal Techniques in Real-time and Fault-Tolerant Systems....

Formal Techniques in Real-time and Fault-Tolerant Systems. Lecture Notes in Computer Science No. 571

Vytopil, J. (ed.)

Neu - Softcover

Unternehmensdaten des Verk�ufers