On Creation and Analysis of Reliability Models by Means of Stochastic Timed Automata and Statistical Model Checking: Principle.

Josef Strnadel

Browse the full ISoLA paper archive.