Cover Image
Read Now

1
Published 2021
Springer International Publishing
Table of Contents: “... the Odds in Probabilistic Timed Automata -- Quantifying Software Reliability via Model-Counting...”