Konferenzschrift | Kongress
Process algebra and probabilistic methods : performance modeling and verification ; joint international workshop ; proceedings
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540425564
354042556X
- Maße
-
24 cm
- Umfang
-
XII, 215 S.
- Sprache
-
Englisch
- Anmerkungen
-
graph. Darst.
- Erschienen in
-
Lecture notes in computer science ; Vol. 2165
- Schlagwort
-
Verifikation
Model Checking
Prozessalgebra
Stochastischer Prozess
Stochastisches System
Prozessalgebra
Verifikation
Leistungsbewertung
- Ereignis
-
Veröffentlichung
- (wo)
-
Berlin, Heidelberg, New York, Barcelona, Hong Kong, London, Milan, Paris, Tokyo
- (wer)
-
Springer
- (wann)
-
2001
- Beteiligte Personen und Organisationen
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 14:04 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Konferenzschrift
- Kongress
Beteiligte
- DeAlfaro, Luca
- PAPM PROBMIV (1 : 2001 : Aachen)
- Springer
Entstanden
- 2001
Ähnliche Objekte (12)
Process algebra and probabilistic methods : performance modeling and verification ; second joint international workshop ; proceedings
Counterexamples in probabilistic verification
Probabilistic Linear Algebra
Probabilistic modelling and verification using RoboChart and PRISM
Verification and control of partially observable probabilistic systems
Modeling and formal verification of probabilistic reconfigurable systems
Verification of reachability properties and termination for probabilistic systems
Verification of Reachability Properties and Termination for Probabilistic Systems
Formal Modelling and Verification of Probabilistic Resource Bounded Agents
New results on probabilistic verification : automata, logic and satisfiability
Automated deductive verification of probabilistic programs
A Deductive Verification Infrastructure for Probabilistic Programs
Process algebra and probabilistic methods : performance modeling and verification ; second joint international workshop ; proceedings
Counterexamples in probabilistic verification
Probabilistic Linear Algebra
Probabilistic modelling and verification using RoboChart and PRISM
Verification and control of partially observable probabilistic systems
Modeling and formal verification of probabilistic reconfigurable systems
Verification of reachability properties and termination for probabilistic systems
Verification of Reachability Properties and Termination for Probabilistic Systems
Formal Modelling and Verification of Probabilistic Resource Bounded Agents
New results on probabilistic verification : automata, logic and satisfiability
Automated deductive verification of probabilistic programs
A Deductive Verification Infrastructure for Probabilistic Programs
Process algebra and probabilistic methods : performance modeling and verification ; second joint international workshop ; proceedings
Counterexamples in probabilistic verification
Probabilistic Linear Algebra
Probabilistic modelling and verification using RoboChart and PRISM
Verification and control of partially observable probabilistic systems
Modeling and formal verification of probabilistic reconfigurable systems
Verification of reachability properties and termination for probabilistic systems
Verification of Reachability Properties and Termination for Probabilistic Systems
Formal Modelling and Verification of Probabilistic Resource Bounded Agents
New results on probabilistic verification : automata, logic and satisfiability
Automated deductive verification of probabilistic programs