Dependable Computing - EDCC-1
First European Dependable Computing Conference, Berlin, Germany, October 4-6, 1994. Proceedings
Mitarbeit:Echtle, Klaus; Hammer, Dieter; Powell, David
Dependable Computing - EDCC-1
First European Dependable Computing Conference, Berlin, Germany, October 4-6, 1994. Proceedings
Mitarbeit:Echtle, Klaus; Hammer, Dieter; Powell, David
- Broschiertes Buch
- Merkliste
- Auf die Merkliste
- Bewerten Bewerten
- Teilen
- Produkt teilen
- Produkterinnerung
- Produkterinnerung
This book presents the proceedings of the First European Dependable Computing Conference (EDCC-1), held in Berlin, Germany, in October 1994. EDCC is the merger of two former European events on dependable computing. The volume comprises 34 refereed full papers selected from 106 submissions. The contributions address all current aspects of dependable computing and reflect the state of the art in dependable systems research and advanced applications; among the topics covered are hardware and software reliability, safety-critical and secure systems, fault-tolerance and detection, verification and…mehr
- Mario Dal Cin / Mohamed Kaâniche / András Pataricza (eds.)Dependable Computing - EDCC 200539,99 €
- LangmaackFormal Techniques in Real-Time and Fault-Tolerant Systems79,99 €
- Rogério le Lemos / Taisy Silva Weber / Joao Batista Camargo Jr. (eds.)Dependable Computing40,99 €
- Andrea Bondavalli (Volume ed.) / Francisco Brasileiro / Sergio RajsbaumDependable Computing39,99 €
- André PlatzerLogical Foundations of Cyber-Physical Systems38,99 €
- Jan Hlavicka / Erik Maehle / Andras Pataricza (eds.)Dependable Computing - EDDC-339,99 €
- Rui PengSoftware Fault Detection and Correction: Modeling and Applications37,99 €
-
-
-
The volume comprises 34 refereed full papers selected from 106 submissions. The contributions address all current aspects of dependable computing and reflect the state of the art in dependable systems research and advanced applications; among the topics covered are hardware and software reliability, safety-critical and secure systems, fault-tolerance and detection, verification and validation, formal methods, hardware and software testing, and parallel and distributed systems.
- Produktdetails
- Lecture Notes in Computer Science 852
- Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
- Artikelnr. des Verlages: 978-3-540-58426-1
- 1994.
- Seitenzahl: 644
- Erscheinungstermin: 21. September 1994
- Englisch
- Abmessung: 235mm x 155mm x 35mm
- Gewicht: 840g
- ISBN-13: 9783540584261
- ISBN-10: 3540584269
- Artikelnr.: 09223514
- Lecture Notes in Computer Science 852
- Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
- Artikelnr. des Verlages: 978-3-540-58426-1
- 1994.
- Seitenzahl: 644
- Erscheinungstermin: 21. September 1994
- Englisch
- Abmessung: 235mm x 155mm x 35mm
- Gewicht: 840g
- ISBN-13: 9783540584261
- ISBN-10: 3540584269
- Artikelnr.: 09223514