1 option
Formal Methods for Real-Time and Probabilistic Systems : 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999, Proceedings / edited by Jost-Pieter Katoen.
LIBRA Q341 .P7 2004
Available from offsite location
- Format:
- Book
- Series:
- Computer Science (Springer-11645)
- Lecture notes in computer science 0302-9743 ; 1601.
- Lecture Notes in Computer Science, 0302-9743 ; 1601
- Language:
- English
- Subjects (All):
- Computers.
- Software engineering.
- Computer engineering.
- Computer logic.
- Computers, Special purpose.
- Theory of Computation.
- Software Engineering/Programming and Operating Systems.
- Computer Engineering.
- Logics and Meanings of Programs.
- Software Engineering.
- Special Purpose and Application-Based Systems.
- Local Subjects:
- Theory of Computation.
- Software Engineering/Programming and Operating Systems.
- Computer Engineering.
- Logics and Meanings of Programs.
- Software Engineering.
- Special Purpose and Application-Based Systems.
- Physical Description:
- 1 online resource (X, 362 pages).
- Edition:
- First edition 1999.
- Contained In:
- Springer eBooks
- Place of Publication:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1999.
- System Details:
- text file PDF
- Contents:
- Invited 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
- 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.
- Other Format:
- Printed edition:
- ISBN:
- 978-3-540-48778-4
- 9783540487784
- Access Restriction:
- Restricted for use by site license.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.