Wir verwenden Cookies, die für die ordnungsgemäße Bereitstellung unseres Webseitenangebots zwingend erforderlich sind. Mit Klick auf "Einverstanden" setzen wir zusätzlich Cookies und Dienste von Drittanbietern ein, um unser Angebot durch Analyse des Nutzungsverhaltens zu optimieren, um Nutzungsprofile zu erstellen, interessenbezogene Werbung anzuzeigen, sowie die Webseiten-Performance zu verbessern. Ihre Einwilligung können Sie jederzeit durch erneuten Aufruf dieses Cookie-Banners am Ende der Webseite widerrufen. Weitere Informationen und Einzelheiten finden Sie in der Datenschutzerklärung.
Einverstanden
Nur funktionale Cookies
Alle
Direkt bestellen
Merkzettel
Warenkorb

Buch-Sparwoche - Bücher schon ab 0.99 €! Jetzt zugreifen!

Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems

Joint International Conferences on Formal Modeling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22- (Sprache: Englisch)
Keine Kommentare vorhanden
Jetzt bewerten

Schreiben Sie den ersten Kommentar zu "Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems".

Kommentar verfassen
 
 
Merken
Teilen
Merken
Teilen
 
 
This volume contains the proceedings of the joint conference on Formal M- elling and Analysis of Timed Systems (FORMATS) and Formal Techniques in Real-Time and Fault Tolerant Systems (FTRTFT), held in Grenoble,France,on September 22 24,2004. The conference...
Mehr zum Inhalt Video Inhaltsverzeichnis
Voraussichtlich lieferbar in 3 Tag(en)
versandkostenfrei

Bestellnummer: 4718219

Buch 93.08 €
Jetzt vorbestellen
  • Kauf auf Rechnung
  • Kostenlose Rücksendung
  • Ratenzahlung möglich
Voraussichtlich lieferbar in 3 Tag(en)
versandkostenfrei

Bestellnummer: 4718219

Buch 93.08 €
Jetzt vorbestellen
This volume contains the proceedings of the joint conference on Formal M- elling and Analysis of Timed Systems (FORMATS) and Formal Techniques in Real-Time and Fault Tolerant Systems (FTRTFT), held in Grenoble,France,on September 22 24,2004. The conference...
Mehr zum Inhalt Video Inhaltsverzeichnis
Andere Kunden interessierten sich auch für
-9%
Lecture Notes in Computer Science: Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems

Lecture Notes in Computer Science: Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems

0 Sterne
eBook

Statt 93.08 € 19

84.30 €

Erschienen am 07.12.2004
Leider schon ausverkauft
Workload Characterization for Computer System Design

Workload Characterization for Computer System Design

0 Sterne
Buch

112.34 €

Vorbestellen
Erschienen am 31.03.2000
Voraussichtlich lieferbar in 5 Tag(en)
Business Component-Based Software Engineering

Business Component-Based Software Engineering

0 Sterne
Buch

149.79 €

Vorbestellen
Erschienen am 31.10.2002
Voraussichtlich lieferbar in 5 Tag(en)
Parallel Algorithm Derivation and Program Transformation

Parallel Algorithm Derivation and Program Transformation

0 Sterne
Buch

181.85 €

Vorbestellen
Erschienen am 30.06.1993
Voraussichtlich lieferbar in 5 Tag(en)
Software Architectures and Component Technology

Software Architectures and Component Technology

0 Sterne
Buch

245.03 €

Vorbestellen
Erschienen am 31.10.2001
Voraussichtlich lieferbar in 5 Tag(en)
Hybrid Systems: Computation and Control

Hybrid Systems: Computation and Control

0 Sterne
Buch

93.08 €

Vorbestellen
Erschienen am 25.03.1998
Voraussichtlich lieferbar in 3 Tag(en)
Computer Architecture: A Minimalist Perspective

Computer Architecture: A Minimalist Perspective

William F. Gilreath, Phillip A. Laplante

0 Sterne
Buch

149.79 €

Vorbestellen
Erschienen am 31.03.2003
Jetzt vorbestellen
Parallel Computing Technologies

Parallel Computing Technologies

0 Sterne
Buch

106.99 €

Vorbestellen
Erschienen am 16.08.1995
Voraussichtlich lieferbar in 3 Tag(en)
Software Performability: From Concepts to Applications

Software Performability: From Concepts to Applications

Ann T. Tai, John F. Meyer, Algirdas Avizienis

0 Sterne
Buch

181.85 €

In den Warenkorb
Erschienen am 31.12.1995
lieferbar
High Performance Scientific and Engineering Computing

High Performance Scientific and Engineering Computing

0 Sterne
Buch

176.54 €

Vorbestellen
Erschienen am 30.11.2003
Voraussichtlich lieferbar in 5 Tag(en)
Distributed and Parallel Systems

Distributed and Parallel Systems

0 Sterne
Buch

149.79 €

Vorbestellen
Erschienen am 30.09.2002
Voraussichtlich lieferbar in 5 Tag(en)
Embedded Processor Design Challenges

Embedded Processor Design Challenges

0 Sterne
Buch

58.80 €

Vorbestellen
Erschienen am 13.03.2002
Voraussichtlich lieferbar in 3 Tag(en)
Database Machines

Database Machines

0 Sterne
Buch

85.59 €

Vorbestellen
Erschienen am 07.06.1989
Voraussichtlich lieferbar in 3 Tag(en)
Hybrid Systems: Computation and Control

Hybrid Systems: Computation and Control

0 Sterne
Buch

96.29 €

In den Warenkorb
Erschienen am 06.03.2002
lieferbar
Parallel Algorithms for Irregular Problems: State of the Art

Parallel Algorithms for Irregular Problems: State of the Art

0 Sterne
Buch

176.54 €

Vorbestellen
Erschienen am 31.10.1995
Voraussichtlich lieferbar in 5 Tag(en)
Higher-Level Hardware Synthesis

Higher-Level Hardware Synthesis

R. Sharp

0 Sterne
Buch

74.89 €

Vorbestellen
Erschienen am 18.03.2004
Voraussichtlich lieferbar in 3 Tag(en)
Hybrid Systems: Computation and Control

Hybrid Systems: Computation and Control

0 Sterne
Buch

106.99 €

In den Warenkorb
Erschienen am 27.03.2009
lieferbar
Beyond Loop Level Parallelism in OpenMP: Accelerators, Tasking and More

Beyond Loop Level Parallelism in OpenMP: Accelerators, Tasking and More

0 Sterne
Buch

74.89 €

In den Warenkorb
Erschienen am 01.06.2010
lieferbar
Recent Advances in Parallel Virtual Machine and Message Passing Interface

Recent Advances in Parallel Virtual Machine and Message Passing Interface

0 Sterne
Buch

80.24 €

In den Warenkorb
Erschienen am 28.08.2008
lieferbar
Produktdetails
Produktinformationen zu „Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems “
Klappentext zu „Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems “
This volume contains the proceedings of the joint conference on Formal M- elling and Analysis of Timed Systems (FORMATS) and Formal Techniques in Real-Time and Fault Tolerant Systems (FTRTFT), held in Grenoble,France,on September 22 24,2004. The conference united two previously independently - ganized conferences FORMATS and FTRTFT. FORMATS 2003 was organized asasatelliteworkshopofCONCUR2003andwasrelatedtothreeindependently started workshop series: MTCS (held as a satellite event of CONCUR 2000 and CONCUR 2002), RT-TOOLS (held as a satellite event of CONCUR 2001 and FLoC 2002) and TPTS (held at ETAPS 2002). FTRTFT is a symposium that was held seven times before: in Warwick 1988, Nijmegen 1992, Lu beck 1994, Uppsala 1996, Lyngby 1998, Pune 2000 and Oldenburg 2002. The proceedings of these symposia were published as volumes 331, 571, 863, 1135, 1486, 1926, and 2469 in the LNCS series by Springer. Thisjointconferenceis dedicatedtotheadvancementofthetheoryandpr- ticeofthe modelling,designandanalysisofreal-timeandfault-tolerantsystems. Indeed,computersystemsarebecomingincreasinglywidespreadinreal-timeand safety-critical applications such as embedded systems. Such systems are char- terized by the crucial need to manage their complexity in order to produce reliable designs and implementations. The importance of timing aspects, p- formance and fault-tolerance is continuously growing. Formal techniques o?er a foundation for systematic design of complex systems. They have bene?cial - plications throughout the engineering process, from the capture of requirements through speci?cation, design, coding and compilation, down to the hardware that embeds the system into its environment.
Inhaltsverzeichnis zu „Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems “
Invited Papers.- From Software to Hardware and Back.- Of Elections and Electrons.- Regular Papers.- Formal Verification of an Avionics Sensor Voter Using SCADE.- Mixed Delay and Threshold Voters in Critical Real-Time Systems.- Towards a Methodological Approach to Specification and Analysis of Dependable Automation Systems.- On Two-Sided Approximate Model-Checking: Problem Formulation and Solution via Finite Topologies.- On Timed Automata with Input-Determined Guards.- Decomposing Verification of Timed I/O Automata.- Symbolic Model Checking for Simply-Timed Systems.- Robustness and Implementability of Timed Automata.- Real-Time Testing with Timed Automata Testers and Coverage Criteria.- Monitoring Temporal Properties of Continuous Signals.- A Unified Fault-Tolerance Protocol.- Automating the Addition of Fail-Safe Fault-Tolerance: Beyond Fusion-Closed Specifications.- Modeling and Verification of a Fault-Tolerant Real-Time Startup Protocol Using Calendar Automata.- Static Fault-Tolerant Real-Time Scheduling with "Pseudo-topological" Orders.- The Influence of Durational Actions on Time Equivalences.- Bounded Model Checking for Region Automata.- Some Progress in Satisfiability Checking for Difference Logic.- Model-Checking for Weighted Timed Automata.- Symbolic Model Checking for Probabilistic Timed Automata.- Structured Modeling of Concurrent Stochastic Hybrid Systems.- Computing Schedules for Multithreaded Real-Time Programs Using Geometry.- Forward Reachability Analysis of Timed Petri Nets.- Lazy Approximation for Dense Real-Time Systems.- Learning of Event-Recording Automata.
Bibliographische Angaben

  • 2004, 402 Seiten, Maße: 15,5 x 23,5 cm, Kartoniert (TB), Englisch
  • Herausgegeben:Lakhnech, Yassine; Yovine, Sergio
  • Verlag: Springer
  • ISBN-10: 3540231676
  • ISBN-13: 9783540231677
  • Erscheinungsdatum: 20.09.2004

Sprache:
Englisch
Kommentar zu "Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems"
Keine Kommentare vorhanden
Jetzt bewerten

Schreiben Sie den ersten Kommentar zu "Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems".

Kommentar verfassen
Andere Kunden kauften auch
Workload Characterization for Computer System Design

Workload Characterization for Computer System Design

0 Sterne
Buch

112.34 €

Vorbestellen
Erschienen am 31.03.2000
Voraussichtlich lieferbar in 5 Tag(en)
Business Component-Based Software Engineering

Business Component-Based Software Engineering

0 Sterne
Buch

149.79 €

Vorbestellen
Erschienen am 31.10.2002
Voraussichtlich lieferbar in 5 Tag(en)
Parallel Algorithm Derivation and Program Transformation

Parallel Algorithm Derivation and Program Transformation

0 Sterne
Buch

181.85 €

Vorbestellen
Erschienen am 30.06.1993
Voraussichtlich lieferbar in 5 Tag(en)
Software Architectures and Component Technology

Software Architectures and Component Technology

0 Sterne
Buch

245.03 €

Vorbestellen
Erschienen am 31.10.2001
Voraussichtlich lieferbar in 5 Tag(en)
Hybrid Systems: Computation and Control

Hybrid Systems: Computation and Control

0 Sterne
Buch

93.08 €

Vorbestellen
Erschienen am 25.03.1998
Voraussichtlich lieferbar in 3 Tag(en)
Computer Architecture: A Minimalist Perspective

Computer Architecture: A Minimalist Perspective

William F. Gilreath, Phillip A. Laplante

0 Sterne
Buch

149.79 €

Vorbestellen
Erschienen am 31.03.2003
Jetzt vorbestellen
Parallel Computing Technologies

Parallel Computing Technologies

0 Sterne
Buch

106.99 €

Vorbestellen
Erschienen am 16.08.1995
Voraussichtlich lieferbar in 3 Tag(en)
Software Performability: From Concepts to Applications

Software Performability: From Concepts to Applications

Ann T. Tai, John F. Meyer, Algirdas Avizienis

0 Sterne
Buch

181.85 €

In den Warenkorb
Erschienen am 31.12.1995
lieferbar
High Performance Scientific and Engineering Computing

High Performance Scientific and Engineering Computing

0 Sterne
Buch

176.54 €

Vorbestellen
Erschienen am 30.11.2003
Voraussichtlich lieferbar in 5 Tag(en)
Distributed and Parallel Systems

Distributed and Parallel Systems

0 Sterne
Buch

149.79 €

Vorbestellen
Erschienen am 30.09.2002
Voraussichtlich lieferbar in 5 Tag(en)
Embedded Processor Design Challenges

Embedded Processor Design Challenges

0 Sterne
Buch

58.80 €

Vorbestellen
Erschienen am 13.03.2002
Voraussichtlich lieferbar in 3 Tag(en)
Database Machines

Database Machines

0 Sterne
Buch

85.59 €

Vorbestellen
Erschienen am 07.06.1989
Voraussichtlich lieferbar in 3 Tag(en)
Hybrid Systems: Computation and Control

Hybrid Systems: Computation and Control

0 Sterne
Buch

96.29 €

In den Warenkorb
Erschienen am 06.03.2002
lieferbar
Parallel Algorithms for Irregular Problems: State of the Art

Parallel Algorithms for Irregular Problems: State of the Art

0 Sterne
Buch

176.54 €

Vorbestellen
Erschienen am 31.10.1995
Voraussichtlich lieferbar in 5 Tag(en)
Higher-Level Hardware Synthesis

Higher-Level Hardware Synthesis

R. Sharp

0 Sterne
Buch

74.89 €

Vorbestellen
Erschienen am 18.03.2004
Voraussichtlich lieferbar in 3 Tag(en)
Hybrid Systems: Computation and Control

Hybrid Systems: Computation and Control

0 Sterne
Buch

106.99 €

In den Warenkorb
Erschienen am 27.03.2009
lieferbar
Beyond Loop Level Parallelism in OpenMP: Accelerators, Tasking and More

Beyond Loop Level Parallelism in OpenMP: Accelerators, Tasking and More

0 Sterne
Buch

74.89 €

In den Warenkorb
Erschienen am 01.06.2010
lieferbar
Recent Advances in Parallel Virtual Machine and Message Passing Interface

Recent Advances in Parallel Virtual Machine and Message Passing Interface

0 Sterne
Buch

80.24 €

In den Warenkorb
Erschienen am 28.08.2008
lieferbar
Weitere Empfehlungen zu „Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems “
Weitere Artikel zum Thema
0 Gebrauchte Artikel zu „Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems“
Zustand Preis Porto Zahlung Verkäufer Rating
  • Kauf auf Rechnung
  • Kostenlose Rücksendung
  • Ratenzahlung möglich