Filter By
Books (3)
- Book
- Qty in Cart
- Quantity
- Price
- Subtotal
-
A Compositional Approach to Performance Modelling by Jane Hillston 9780521673532
Booksplease Price: $57.17This is the first book presenting a stochastic extension of process algebra, PEPA; this is shown to be suitable for specifying a Markov process, which can then be applied to performance modelling... -
Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems: First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9–13, 2024, Proceedings Jane Hillston 9783031684159
Booksplease Price: $78.74This book constitutes the proceedings of the First International Joint Conference on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, QEST+Formats 2024, which... -
Formal Methods for Real-Time and Probabilistic Systems: 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999, Proceedings by Jost-Pieter Katoen 9783540660101
Booksplease Price: $59.70TheaimoftheARTS'99workshopistobringtogetherresearchersandpr- titioners interested in the design of real-time and probabilistic systems. It is...