Willkommen, schön sind Sie da!
Logo Ex Libris

Validation of Stochastic Systems

  • E-Book (pdf)
  • 472 Seiten
(0) Erste Bewertung abgeben
Bewertungen & Rezensionen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
Inhalt Modelling Stochastic Systems.- Probabilistic Automata: System Types, Parallel Composition and Comparison.- Tutte le Algebre... Weiterlesen
CHF 116.90
Download steht sofort bereit
Informationen zu E-Books
E-Books eignen sich auch für mobile Geräte (sehen Sie dazu die Anleitungen).
E-Books von Ex Libris sind mit Adobe DRM kopiergeschützt: Erfahren Sie mehr.
Weitere Informationen finden Sie hier.
Bestellung & Lieferung in eine Filiale möglich

Beschreibung

Inhalt

Modelling Stochastic Systems.- Probabilistic Automata: System Types, Parallel Composition and Comparison.- Tutte le Algebre Insieme: Concepts, Discussions and Relations of Stochastic Process Algebras with General Distributions.- An Overview of Probabilistic Process Algebras and Their Equivalences.- Model Checking of Stochastic Systems.- Verifying Qualitative Properties of Probabilistic Programs.- On Probabilistic Computation Tree Logic.- Model Checking for Probabilistic Timed Systems.- Representing Large State Spaces.- Serial Disk-Based Analysis of Large Stochastic Models.- Kronecker Based Matrix Representations for Large Markov Models.- Symbolic Representations and Analysis of Large Probabilistic Systems.- Probabilistic Methods in State Space Analysis.- Deductive Verification of Stochastic Systems.- Analysing Randomized Distributed Algorithms.- An Abstraction Framework for Mixed Non-deterministic and Probabilistic Systems.- The Verification of Probabilistic Lossy Channel Systems.

Produktinformationen

Titel: Validation of Stochastic Systems
Untertitel: A Guide to Current Research
Editor:
EAN: 9783540246114
Format: E-Book (pdf)
Hersteller: Springer Berlin Heidelberg
Genre: Grundlagen
Veröffentlichung: 26.08.2004
Digitaler Kopierschutz: Wasserzeichen
Anzahl Seiten: 472

Weitere Bände aus der Buchreihe "Lecture Notes in Computer Science"