LEADER 03625oam 2200613 450 001 996465309103316 005 20210715200528.0 010 $a3-540-48778-6 024 7 $a10.1007/3-540-48778-6 035 $a(CKB)1000000000211157 035 $a(SSID)ssj0000323222 035 $a(PQKBManifestationID)11268145 035 $a(PQKBTitleCode)TC0000323222 035 $a(PQKBWorkID)10312543 035 $a(PQKB)11549890 035 $a(DE-He213)978-3-540-48778-4 035 $a(MiAaPQ)EBC3073175 035 $a(MiAaPQ)EBC6485992 035 $a(PPN)155186841 035 $a(EXLCZ)991000000000211157 100 $a20210715d1999 uy 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aFormal methods for real-time and probabilistic systems $e5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999 : proceedings /$fJost-Pieter Katoen 205 $a1st ed. 1999. 210 1$aBerlin, Heidelberg :$cSpringer,$d[1999] 210 4$d©1999 215 $a1 online resource (X, 362 p.) 225 1 $aLecture Notes in Computer Science ;$v1601 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-66010-0 320 $aIncludes bibliographical references at the end of each chapters and index. 327 $aInvited Lecture -- Fully Abstract Characterization of Probabilistic May Testing -- Verification of Probabilistic System -- Quantitative Program Logic and Performance in Probabilistic Distributed Algorithms -- Establishing Qualitative Properties for Probabilistic Lossy Channel Systems -- Root Contention in IEEE 1394 -- Model Checking Probabilistic Systems -- Automatic Verification of Real-Time Systems with Discrete Probability Distributions -- ProbVerus: Probabilistic Symbolic Model Checking -- Semantics of Probabilistic Process Calculi -- Process Algebra with Probabilistic Choice -- An Axiomatization of Probabilistic Testing -- Invited Lecture -- Verification of Hybrid Systems -- Semantics of Real-Time Processes -- A Parallel Operator for Real-Time Processes with Predicate Transformer Semantics -- Comparing the Efficiency of Asynchronous Systems -- Real-Time Compilation -- A Formal Model of Real-Time Program Compilation -- Stochastic Process Algebra -- Specifying Performance Measures for PEPA -- Semi-numerical Solution of Stochastic Process Algebra Models -- Bisimulation Algorithms for Stochastic Process Algebras and Their BDD-Based Implementation -- Invited Lecture -- Probabilistic Linear-Time Model Checking: An Overview of the Automata-Theoretic Approach -- Modeling and Verification of Real-Time Systems -- Formal Verification of a Power Controller Using the Real-Time Model Checker Uppaal -- Verifying Progress in Timed Systems -- Proof Assistance for Real-Time Systems Using an Interactive Theorem Prover -- Modelling Timeouts without Timelocks. 410 0$aLecture notes in computer science ;$v1601. 606 $aFormal methods (Computer science)$vCongresses 606 $aReal-time data processing$vCongresses 606 $aComputer science 615 0$aFormal methods (Computer science) 615 0$aReal-time data processing 615 0$aComputer science. 676 $a004.0151 700 $aKatoen$b Jost-Pieter 701 $aKatoen$b Joost-Pieter$0312040 712 12$aInternational AMAST Workshop, ARTS'99 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bUtOrBLW 906 $aBOOK 912 $a996465309103316 996 $aFormal methods for real-time and probabilistic systems$92860214 997 $aUNISA