𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[Lecture Notes in Computer Science] Formal Methods for Real-Time and Probabilistic Systems Volume 1601 || Automatic Verification of Real-Time Systems with Discrete Probability Distributions

✍ Scribed by Katoen, Joost-Pieter

Book ID
125518571
Publisher
Springer Berlin Heidelberg
Year
1999
Weight
349 KB
Category
Article
ISBN
3540487786

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

[Lecture Notes in Computer Science] Form
[Lecture Notes in Computer Science] Formal Methods for the Design of Real-Time Systems Volume 3185 || Real Time and Stochastic Time
✍ Bernardo, Marco; Corradini, Flavio πŸ“‚ Article πŸ“… 2004 πŸ› Springer Berlin Heidelberg 🌐 German βš– 727 KB

A Large Class Of Computing Systems Can Be Speci?ed And Veri?ed By Abstracting Away From The Temporal Aspects Of Their Behavior. Inreal-timesystems,instead, Time Issues Become Essential. Their Correctness Depends Not Only On Which - Tions They Can Perform, But Also On The Action Execution Time. Due T

[Lecture Notes in Computer Science] Form
[Lecture Notes in Computer Science] Formal Methods and Hybrid Real-Time Systems Volume 4700 || From β€œFormal Methods” to System Modeling
✍ Jones, Cliff B.; Liu, Zhiming; Woodcock, Jim πŸ“‚ Article πŸ“… 2007 πŸ› Springer Berlin Heidelberg 🌐 German βš– 297 KB

Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.). Papers Presented At A Symposium Held In Macao, China, Sept. 24-25, 2007 During The Course Of The International Colloquium On Theoretical Aspects Of Computing. Includes Bibliographical References And Index. Also Issued Online