Warriors B2G1 Free
 
 

Special Offers see all

Enter to WIN a $100 Credit

Subscribe to PowellsBooks.news
for a chance to win.
Privacy Policy

Visit our stores


    Recently Viewed clear list


    Lists | May 12, 2015

    Mark Bittman: IMG Six Things You Can Do to Join the Food Movement Today



    People ask me all the time what they can do to help improve the food system. Given that some of the problems that need fixing (like unsustainable... Continue »
    1. $18.20 Sale Hardcover add to wish list

    spacer

This item may be
out of stock.

Click on the button below to search for this title in other formats.


Check for Availability
Add to Wishlist

Formal Methods for Real-Time and Probabilistic Systems: 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999, Proceedings

by

Formal Methods for Real-Time and Probabilistic Systems: 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999, Proceedings Cover

 

Synopses & Reviews

Publisher Comments:

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.

Table of Contents

Fully abstract characterization of probabilistic may testing / Bengt Jonsson and Wang Yi — Quantitative program logic and performance in probabilistic distributed algorithms / Annabelle K. McIver — Establishing qualitative properties for probabilistic lossy channel systems / Christel Baier and Bettina Engelen — Root contention in IEEE 1394 / Marielle Stoelinga and Frits Vaandrager — Automatic verification of real-time systems with discrete probability distributions / Marta Kwiatkowska ... [et al.] — ProbVerus: probabilistic symbolic model checking / Vicky Hartonas-Garmhausen, Sergio Campos, and Ed Clarke — Process algebra with probabilistic choice / Suzana Andova — An axiomatization of probabilistic testing / Manuel Nunez — Verification of hybrid systems / Frits Vaandrager — A parallel operator for real-time processes with predicate transformer semantics / Karl Lermer — Comparing the efficiency of asynchronous systems / Lars Jenner and Walter Vogler — A formal model of real-time program compilation / Karl Lermer and Colin Fidge — Specifying performance measures for PEPA / Graham Clark, Stephen Gilmore, and Jane Hillston — Semi-numerical solution of stochastic process algebra models / Henrik C. Bohnenkamp and Boudewijn R. Haverkort — Bisimulation algorithms for stochastic process algebras and their BDD-based implementation / Holger Hermanns and Markus Siegle — Probabilistic linear-time model checking / Moshe Y. Vardi — Formal verification of a power controller using the real-time model checker UPPAAL / Klaus Havelund, Kim Guldstrand Larsen, and Arne Skou — Verifying progress in timed systems / Stavros Tripakis — Proof assistance for real-time systems using an interactive theorem prover / Paul Z. Kolano — Modelling timeouts without timelocks / Howard Bowman.

Product Details

ISBN:
3330000401333
Subtitle:
5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999: Proceedings
Publisher:
Springer
Subject:
main_subject
Subject:
all_subjects
Publication Date:
1999
Binding:
ELECTRONIC
Language:
English
Pages:
353

Related Subjects

Computers and Internet » Artificial Intelligence » Fuzzy Logic
Computers and Internet » Computers Reference » General
Computers and Internet » Networking » General
Computers and Internet » Networking » Hardware
Computers and Internet » Operating Systems » General
Computers and Internet » Software Engineering » General
Computers and Internet » Software Engineering » Programming and Languages
Computers and Internet » Software Engineering » Systems Analysis and Design
Health and Self-Help » Health and Medicine » General

Formal Methods for Real-Time and Probabilistic Systems: 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999, Proceedings
0 stars - 0 reviews
$ In Stock
Product details 353 pages Springer - English 3330000401333 Reviews:
spacer
spacer
  • back to top

FOLLOW US ON...

     
Powell's City of Books is an independent bookstore in Portland, Oregon, that fills a whole city block with more than a million new, used, and out of print books. Shop those shelves — plus literally millions more books, DVDs, and gifts — here at Powells.com.