Formal Techniques in Real-Time and Fault-Tolerant Systems
Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCos, Lübeck, Germany, September 19 - 23, 1994. Proceedings
Mitarbeit:Langmaack, Hans; Roever, Willem-Paul de; Vytopil, Jan
Formal Techniques in Real-Time and Fault-Tolerant Systems
Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCos, Lübeck, Germany, September 19 - 23, 1994. Proceedings
Mitarbeit:Langmaack, Hans; Roever, Willem-Paul de; Vytopil, Jan
- Broschiertes Buch
- Merkliste
- Auf die Merkliste
- Bewerten Bewerten
- Teilen
- Produkt teilen
- Produkterinnerung
- Produkterinnerung
This volume presents the proceedings of the Third International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems held jointly with the Working Group Provably Correct Systems (ProCoS) at Lübeck, Germany in September 1994. The book contains full versions of 5 invited talks and 33 carefully selected refereed contributions as well as 12 tool demonstrations. It documents that formal techniques constitute the foundation of a systematic design of real-time, fault-tolerant, and hybrid systems, throughout the whole engineering process, from the capture of requirements through…mehr
- JonssonFormal Techniques in Real-Time and Fault-Tolerant Systems39,99 €
- VytopilFormal Techniques in Real-Time and Fault-Tolerant Systems77,99 €
- JosephFormal Techniques in Real-Time and Fault-Tolerant Systems39,99 €
- RavnFormal Techniques in Real-Time and Fault-Tolerant Systems39,99 €
- Jost-Pieter Katoen (ed.)Formal Methods for Real-Time and Probabilistic Systems39,99 €
- MalerHybrid and Real-Time Systems39,99 €
- Cliff B. Jones (Volume ed.) / Zhiming Liu / Jim WoodcockFormal Methods and Hybrid Real-Time Systems39,99 €
-
-
-
The book contains full versions of 5 invited talks and 33 carefully selected refereed contributions as well as 12 tool demonstrations. It documents that formal techniques constitute the foundation of a systematic design of real-time, fault-tolerant, and hybrid systems, throughout the whole engineering process, from the capture of requirements through specification, design, coding and compilation, right down to the hardware that embeds the system into its environment.
- Produktdetails
- Lecture Notes in Computer Science 863
- Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
- Artikelnr. des Verlages: 978-3-540-58468-1
- 1994.
- Seitenzahl: 808
- Erscheinungstermin: 7. September 1994
- Englisch
- Abmessung: 235mm x 155mm x 44mm
- Gewicht: 971g
- ISBN-13: 9783540584681
- ISBN-10: 3540584684
- Artikelnr.: 09241783
- Lecture Notes in Computer Science 863
- Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
- Artikelnr. des Verlages: 978-3-540-58468-1
- 1994.
- Seitenzahl: 808
- Erscheinungstermin: 7. September 1994
- Englisch
- Abmessung: 235mm x 155mm x 44mm
- Gewicht: 971g
- ISBN-13: 9783540584681
- ISBN-10: 3540584684
- Artikelnr.: 09241783