Probabilistic Duration Calculus
Part of the Monographs in Theoretical Computer Science An EATCS Series book series (EATCS)
This chapter provides a DC-based approach to the analysis of the dependability of real-time systems.
KeywordsNonnegative Integer Design Decision State Sequence Proof System Recursive Function
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Unable to display preview. Download preview PDF.
© Springer-Verlag Berlin Heidelberg 2004