Formal Methods for Real-Time and Probabilistic Systems PDF Download

Are you looking for read ebook online? Search for your book and save it on your Kindle device, PC, phones or tablets. Download Formal Methods for Real-Time and Probabilistic Systems PDF full book. Access full book title Formal Methods for Real-Time and Probabilistic Systems by Jost-Pieter Katoen. Download full books in PDF and EPUB format.

Formal Methods for Real-Time and Probabilistic Systems

Formal Methods for Real-Time and Probabilistic Systems PDF Author: Jost-Pieter Katoen
Publisher: Springer
ISBN: 3540487786
Category : Computers
Languages : en
Pages : 364

Get Book Here

Book Description
This book constitutes the refereed proceedings of the Fifth International AMAST Workshop on Formal Methods for Real-Time and Probabilistic Systems, ARTS '99, held in Bamberg, Germany in May 1999. The 17 revised full papers presented together with three invited contributions were carefully reviewed and selected from 33 submissions. The papers are organized in topical sections on verification of probabilistic systems, model checking for probabilistic systems, semantics of probabilistic process calculi, semantics of real-time processes, real-time compilation, stochastic process algebra, and modeling and verification of real-time systems.