Verwandte Artikel zu Formal Techniques in Real-Time and Fault-Tolerant Systems:...
Formal Techniques in Real-Time and Fault-Tolerant Systems: Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992. Proceedings: 571 (Lecture Notes in Computer Science) - Softcover
Inhaltsangabe
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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Reseña del editor
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.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Neu kaufen
Diesen Artikel anzeigen
EUR 14,10
EUR 27,39 für den Versand von Kanada nach Deutschland
Versandziele, Kosten & Dauer
Suchergebnisse für Formal Techniques in Real-Time and Fault-Tolerant Systems:...
Beispielbild für diese ISBN
Formal Techniques in Real-time and Fault-Tolerant Systems. Lecture Notes in Computer Science No. 571
Verlag:
Springer-Verlag, New York, 1991
ISBN 10: 3540550925
ISBN 13: 9783540550921
Neu
Softcover
Erstausgabe
Anbieter: B-Line Books, Amherst, NS, Kanada
Verkäuferbewertung 5 von 5 Sternen
Softcover. Zustand: New. First Edition. Still in publisher's shrinkwrap ; 620 pages. Bestandsnummer des Verkäufers 2311
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Formal Techniques in Real-Time and Fault-Tolerant Systems: Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992. Proceedings (Lecture Notes in Computer Science)
Anbieter: GuthrieBooks, Spring Branch, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding. Bestandsnummer des Verkäufers DA1411202
Anzahl: 1 verfügbar
Foto des Verkäufers
Formal Techniques in Real-Time and Fault-Tolerant Systems
Print-on-DemandAnbieter: moluna, Greven, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book presents state-of-the-art research results in thearea of formal methods for real-time and fault-tolerantsystems. The papers consider problems and solutions insafety-critical system design and examine how wellthe useof formal techniques for . Bestandsnummer des Verkäufers 4893449
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Formal Techniques in Real-Time and Fault-Tolerant Systems : Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992. Proceedings
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book presents state-of-the-art research results in thearea of formal methods for real-time and fault-tolerantsystems. The papers consider problems and solutions insafety-critical system design and examine how wellthe useof formal techniques for design, analysis and verificationserves in relating theory to practical realities.The book contains papers on real-time and fault-toleranceissues. Formal logic, process algebra, and action/eventmodels are applied:- to specify and model qualitative and quantitativereal-time and fault-tolerant behavior,- to analyze timeliness requirements and consequences offaulthypotheses,- to verify protocols and program code,- to formulate formal frameworks for development ofreal-time and fault-tolerant systems,- to formulate semantics of languages.The integration and cross-fertilization of real-time andfault-tolerance issues have brought newinsights in recentyears, and these are presented in this book. Bestandsnummer des Verkäufers 9783540550921
Anzahl: 1 verfügbar
Foto des Verkäufers
Formal Techniques in Real-Time and Fault-Tolerant Systems
ISBN 10: 3540550925
ISBN 13: 9783540550921
Neu
Taschenbuch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book presents state-of-the-art research results in thearea of formal methods for real-time and fault-tolerantsystems. The papers consider problems and solutions insafety-critical system design and examine how wellthe useof formal techniques for design, analysis and verificationserves in relating theory to practical realities.The book contains papers on real-time and fault-toleranceissues. Formal logic, process algebra, and action/eventmodels are applied: to specify and model qualitative and quantitativereal-time and fault-tolerant behavior to analyze timeliness requirements and consequences offaulthypotheses to verify protocols and program code to formulate formal frameworks for development ofreal-time and fault-tolerant systems to formulate semantics of languages.The integration and cross-fertilization of real-time andfault-tolerance issues have brought newinsights in recentyears, and these are presented in this book.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 640 pp. Englisch. Bestandsnummer des Verkäufers 9783540550921
Anzahl: 1 verfügbar
Foto des Verkäufers
Formal Techniques in Real-Time and Fault-Tolerant Systems
Verlag:
Springer Berlin Heidelberg Dez 1991, 1991
ISBN 10: 3540550925
ISBN 13: 9783540550921
Neu
Taschenbuch
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book presents state-of-the-art research results in thearea of formal methods for real-time and fault-tolerantsystems. The papers consider problems and solutions insafety-critical system design and examine how wellthe useof formal techniques for design, analysis and verificationserves in relating theory to practical realities.The book contains papers on real-time and fault-toleranceissues. Formal logic, process algebra, and action/eventmodels are applied:- to specify and model qualitative and quantitativereal-time and fault-tolerant behavior,- to analyze timeliness requirements and consequences offaulthypotheses,- to verify protocols and program code,- to formulate formal frameworks for development ofreal-time and fault-tolerant systems,- to formulate semantics of languages.The integration and cross-fertilization of real-time andfault-tolerance issues have brought newinsights in recentyears, and these are presented in this book. 640 pp. Englisch. Bestandsnummer des Verkäufers 9783540550921
Anzahl: 2 verfügbar
Beispielbild für diese ISBN
Formal Techniques in Real-Time and Fault-Tolerant Systems: Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992. Proceedings (Lecture Notes in Computer Science, 571)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Bestandsnummer des Verkäufers ria9783540550921_new
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Formal Techniques in Real-Time and Fault-Tolerant Systems: Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992. Proceedings (Lecture Notes in Computer Science, 571)
Anbieter: Lucky's Textbooks, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers ABLIING23Mar3113020170280
Anzahl: Mehr als 20 verfügbar