Vor Ort
Merkzettel Warenkorb

Gutscheinbedingungen

**Gültig bis 17.08.2026 auf Schreibwaren & Office-Artikel online auf thalia.at, in der Thalia App und in teilnehmenden Thalia Buchhandlungen in Österreich mit Schulsortiment. In den Buchhandlungen nur gültig auf lagernde Ware. Einzelne Artikel können ausgeschlossen sein. Ausgenommen sind preisgebundene Artikel. Pro Einkauf einmal einlösbar. Nur gültig gegen Vorlage oder im Onlineshop hinterlegter Bonuscard. Infos zur Einlösung in der Buchhandlung sind auf der Bonuscard-Vorteilspreisseite zu finden. Click & Collect nur bei Onlinevorabzahlung möglich. Keine Einlösung bei Scan & Go-Bezahlung. Keine Barauszahlung. Nicht kombinierbar mit anderen Aktionen und Gutscheinen. Gutschein wird auf max. 500€ Bestellwert angerechnet. Nicht gültig für Geschenkkarten, Versandkosten und Services.
  • Produktbild: Compositional Verification of Concurrent and Real-Time Systems
  • Produktbild: Compositional Verification of Concurrent and Real-Time Systems
Band 676

Compositional Verification of Concurrent and Real-Time Systems

Aus der Reihe The Springer International Series in Engineering and Computer Science

119,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

30.04.2002

Verlag

Springer Us

Seitenzahl

196

Maße (L/B/H)

24,1/16/1,7 cm

Gewicht

500 g

Auflage

2002

Sprache

Englisch

ISBN

978-1-4020-7025-9

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

30.04.2002

Verlag

Springer Us

Seitenzahl

196

Maße (L/B/H)

24,1/16/1,7 cm

Gewicht

500 g

Auflage

2002

Sprache

Englisch

ISBN

978-1-4020-7025-9

Herstelleradresse

Libri GmbH
Europaallee 1
36244 Bad Hersfeld
DE

Email: gpsr@libri.de

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Compositional Verification of Concurrent and Real-Time Systems
  • Produktbild: Compositional Verification of Concurrent and Real-Time Systems
  • 1. Introduction.- 1. Background.- 2. State Explosion.- 3. Compositional Verification.- 4. A Compositional Verification Methodology.- 5. Reduction Methods for Real-Time Systems.- 2. Verification Techniques for Concurrent Systems.- 1. Techniques for Efficient Analysis of Concurrent Systems.- 2. Compositional-Verification Techniques.- 3. Petri-Net Based Techniques for Real-Time Systems.- 3. Multiset Labeled Transition Systems.- 1. The Model.- 2. Communication Diagrams.- 3. Function “Parallel Composition” (?) of MLTSs.- 4. Function “Hiding Invisible Actions (Hide)” of MLTSs.- 5. Parallel Operation of MLTSs.- 4. Compositional Verification Using MLTS.- 1. Equivalences, Synonyms, and Congruences.- 2. Paths, Traces, and IO-Traces.- 3. IOT-Failures-Divergence (IOTFD) Equivalence.- 4. IOTFD-Equivalence Reduction.- 5. Algorithms and Proofs.- 5. Composotional Verification Using Petri Nets.- 1. The Models.- 2. Function “Parallel Composition”.- 3. Synonymous Reduction.- 4. Compositional Verification of Condensed MLTSs.- 5. Condensation Theories for State-Based Systems.- 6. Condensation Rules for IOT-State/IOT-Failure Equivalences.- 7. Firing Dependence Theories and Rules for MLTS*s.- 8. Compositional Verification of Sub-Marking Reachability.- 9. Definitions, Algorithms, and Proofs.- 6. Tools and Experiments.- 1. Alternating Bit Protocol (ABP).- 2. Tools.- 3. Performance Evaluation.- 7. Delay Time Petri Nets and Net Reduction.- 1. Time Petri Nets.- 2. Delay Time Petri Nets (DTPNs).- 3. Reduction Rules for DTPNs.- 4. Class Graphs of DTPNs.- 5. Efficiency Consideration and Experimental Results.- References.